False loops through resource sharing
- Leon Stok
- 1992
- ICCAD 1992
Conference paper
Publications
5 results at ICCAD 1992
Hazard-non-increasing gate-level optimization algorithms
- D.S. Kung
- 1992
- ICCAD 1992
Conference paperExhaustive simulation need not require an exponential number of tests
- D. Brand
- 1992
- ICCAD 1992
Conference paperTiming analysis in high-level synthesis
- Andreas Kuehlmann
- Reinaldo A. Bergamaschi
- 1992
- ICCAD 1992
Conference paperHIMALAYAS - a hierarchical compaction system with a minimized constraint set
- Jin-Fuw Lee
- D.T. Tang
- 1992
- ICCAD 1992
Conference paper