|
| Keyword : implication
| |
|
Multi-Cycle Path Detection for Sequential Circuits and Its Application to Real Designs
Hiroyuki HIGUCHI | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2003/12/01
Vol. E86-A
No. 12 ;
pp. 3176-3183
Type of Manuscript:
Special Section PAPER (Special Section on VLSI Design and CAD Algorithms)
Category: Logic and High Level Synthesis
Keyword:
multi-cycle path, false path, sequential circuit, implication, ATPG, multiple clock, | | | Summary | Full Text:PDF | |
| |
| |
|
Logic Optimization: Redundancy Addition and Removal Using Implication Relations
Hideyuki ICHIHARA Kozo KINOSHITA | Publication: IEICE TRANSACTIONS on Information and Systems
Publication Date: 1998/07/25
Vol. E81-D
No. 7 ;
pp. 724-730
Type of Manuscript:
Special Section PAPER (Special Issue on Test and Diagnosis of VLSI)
Category: Logic Simulation and Logic Optimization
Keyword:
logic optimization, implication, redundancy identification, | | | Summary | Full Text:PDF | |
|
|