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
Keyword: 
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)
Category: 
Keyword: 
integer linear programmingBDDdata path
 Summary | Full Text:PDF