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 verification,  simulation,  state transition graph,  data path,  abstraction, 
  Summary |  Full Text:PDF (619.6KB)
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/20
Vol. E79-A  No. 12  pp. 2192-2195
Type of Manuscript: LETTER
Category: Concurrent Systems
Keyword: 
Petri net,  partial language,  synthesis,  concurrency,  abstraction, 
  Summary |  Full Text:PDF (254.4KB)