Keyword : speed-independent circuits


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
Keyword: 
asynchronous circuitsspeed-independent circuitssafety-failure checkinghazard checkingformal verificationover-approximations
 Summary | Full Text:PDF

Synthesis of Asynchronous Circuits from Signal Transition Graph Specifications
Sung-Bum PARK Takashi NANYA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1997/03/25
Vol. E80-D  No. 3 ; pp. 326-335
Type of Manuscript:  Special Section PAPER (Special Issue on Asynchronous Circuit and System Design)
Category: Synthesis
Keyword: 
asynchronous synthesislogic synthesissignal transition graphsPetri netsspeed-independent circuits
 Summary | Full Text:PDF