Publication: D - Abstracts of IEICE TRANSACTIONS on Information and Systems (Japanese Edition)
Publication Date: 2006/04/01
Vol. J89-D
No. 4
pp. 651-659
Type of Manuscript: Special Section PAPER (Special Issue on Formal Approaches)
Category:
Keyword:
HW/SW co-verification,
formal verification,
C,
RTL,
state transition diagram,
|
