Publication: IEICE TRANSACTIONS on Information and Systems
Publication Date: 2008/03/01
Vol. E91-D
No. 3 ;
pp. 642-654
Type of Manuscript:
Special Section PAPER (Special Section on Test and Verification of VLSIs)
Category: Verification and Timing Analysis
Keyword:
asynchronous circuits, speed-independent circuits, safety-failure checking, hazard checking, formal verification, over-approximations, |