Keyword : data path

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
formal verificationsimulationstate transition graphdata pathabstraction
 Summary | Full Text:PDF

A Scheduling Method Using Boolean Equations in High-Level Synthesis
Toshiaki MIYAZAKI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1992/12/25
Vol. E75-A  No. 12 ; pp. 1728-1731
Type of Manuscript:  Special Section LETTER (Special Section on the 1992 IEICE Fall Conference)
integer linear programmingBDDdata path
 Summary | Full Text:PDF