Chris J. MYERS

A Conservative Framework for Safety-Failure Checking
Frederic BEAL Tomohiro YONEDA Chris J. MYERS 
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
asynchronous circuitsspeed-independent circuitssafety-failure checkinghazard checkingformal verificationover-approximations
 Summary | Full Text:PDF