Scheduling of transactions for system-level test-case generation
- R. Emek
- Y. Naveh
- 2003
- HLDVT 2003
Conference paper
Publications
24864 results for Exploratory Science
Piparazzi: A test program generator for micro-architecture flow verification
- A. Adir
- E. Bin
- et al.
- 2003
- HLDVT 2003
Conference paperFPgen - A test generation framework for datapath floating-point verification
- M. Aharoni
- S. Asaf
- et al.
- 2003
- HLDVT 2003
Conference paperEnhancing the control and efficiency of the covering process [logic verification]
- S. Fine
- A. Ziv
- 2003
- HLDVT 2003
Conference paperMechanical Modeling of the 2D Interfacial Slurry Pressure in CMP
- C. Fred Higgs III
- Sum Huan Ng
- et al.
- 2003
- MRS Proceedings 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 paperOptical and Electrical Testing of Latchup in I/O Interface Circuits
- Franco Stellari
- Peilin Song
- et al.
- 2003
- IEEE ITC 2003
Conference paperProgramming contests in academic environments
- Cheryl L. Morris
- Gabriel M. Silberman
- 2003
- FIE 2003
Conference paper