Title :
Proceedings of 1994 IEEE Symposium on Advanced Research in Asynchronous Circuits and Systems
Abstract :
The following topics were dealt with: analysis tools; formal verification; metastability; power and interfacing; formal methods; testing; and practice and experience
Keywords :
logic design; analysis tools; formal methods; formal verification; interfacing; metastability; power; testing;
Conference_Titel :
Advanced Research in Asynchronous Circuits and Systems, 1994., Proceedings of the International Symposium on
Conference_Location :
Salt Lake City, UT, USA
Print_ISBN :
0-8186-6210-7
DOI :
10.1109/ASYNC.1994.656280
