Formal Verification and Testing of Asynchronous Circuits
収録刊行物
-
- Ph. D. thesis, Universitat Politecnica de Catalunya
-
Ph. D. thesis, Universitat Politecnica de Catalunya 1997