Keyword : state transition graph


Formal Verification of Data-Path Circuits Based on Symbolic Simulation
Yoshifumi MORIHIRO Tomohiro YONEDA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2002/06/01
Vol. E85-D  No. 6 ; pp. 965-974
Type of Manuscript:  PAPER
Category: Fault Tolerance
Keyword: 
formal verificationsimulationstate transition graphdata pathabstraction
 Summary | Full Text:PDF