FPgen - A test generation framework for datapath floating-point verification
- M. Aharoni
- S. Asaf
- et al.
- 2003
- HLDVT 2003
Conference paper
Publications
9263 results for Computer Science
Scheduling of transactions for system-level test-case generation
- R. Emek
- Y. Naveh
- 2003
- HLDVT 2003
Conference paperEnhancing the control and efficiency of the covering process [logic verification]
- S. Fine
- A. Ziv
- 2003
- HLDVT 2003
Conference paperDesign and CAD Challenges in sub-90nm CMOS Technologies
- Kerry Bernstein
- Ching-Te Chuang
- et al.
- 2003
- ICCAD 2003
Conference paperBlock-based Static Timing Analysis with Uncertainty
- Anirudh Devgan
- Chandramouli Kashyap
- 2003
- ICCAD 2003
Conference paperA Heuristic to Determine Low Leakage Sleep State Vectors for CMOS Combinational Circuits
- Rahul M. Rao
- Frank Liu
- et al.
- 2003
- ICCAD 2003
Conference paperProgramming contests in academic environments
- Cheryl L. Morris
- Gabriel M. Silberman
- 2003
- FIE 2003
Conference paperIntroducing engineering in middle schools
- Laura L. Kosbar
- 2003
- FIE 2003
Conference paperCreating touch-screens anywhere with interactive projected displays
- Claudio Pinhanez
- Rick Kjeldsen
- et al.
- 2003
- MM 2003
Conference paperInterleaving media data for MPEG-4 presentations
- Jeff Boston
- Michelle Kim
- et al.
- 2003
- MM 2003
Conference paper