The Community for Technology Leaders
Green Image
The verification of asynchronous designs is difficult, since design errors may only be manifested under rare circumstances. We show how asynchronous designs can be modeled as programs in the general-purpose hardware description language Synchronized Transitions, translated into the verification language, and how this representation facilitates rigorous and efficient verification of the designs.
Carl-Johan Seger, Trevor W.S. Lee, Mark R. Greenstreet, "Automatic Verification of Asynchronous Circuits", IEEE Design & Test of Computers, vol. 12, no. , pp. 24-31, Spring 1995, doi:10.1109/54.350687
93 ms
(Ver 3.1 (10032016))