Sciweavers

81 search results - page 4 / 17
» dac 1997
Sort
View
173
Voted
DAC
1997
ACM
15 years 11 months ago
An Efficient Implementation of Reactivity for Modeling Hardware in the Scenic Design Environment
Stan Y. Liao, Steven W. K. Tjiang, Rajesh K. Gupta
118
Voted
DAC
1997
ACM
15 years 11 months ago
Formal Verification of Content Addressable Memories Using Symbolic Trajectory Evaluation
Manish Pandey, Richard Raimi, Randal E. Bryant, Ma...
199
Voted
DAC
1997
ACM
15 years 11 months ago
Fast Hardware/Software Co-Simulation for Virtual Prototyping and Trade-Off Analysis
Claudio Passerone, Luciano Lavagno, Massimiliano C...
DAC
1997
ACM
15 years 11 months ago
Post-Layout Logic Restructuring for Performance Optimization
Yi-Min Jiang, Angela Krstic, Kwang-Ting Cheng, Mal...
128
Voted
DAC
1997
ACM
15 years 11 months ago
Efficient Testing of Clock Regenerator Circuits in Scan Designs
Rajesh Raina, Robert Bailey, Charles Njinda, Rober...