Keyword : abstraction


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

Construction of Petri Nets from a Given Partial Language
Susumu HASHIZUME Yasushi MITSUYAMA Yutaka MATSUTANI Katsuaki ONOGI Yoshiyuki NISHIMURA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1996/12/25
Vol. E79-A  No. 12 ; pp. 2192-2195
Type of Manuscript:  LETTER
Category: Concurrent Systems
Keyword: 
Petri netpartial languagesynthesisconcurrencyabstraction
 Summary | Full Text:PDF