Error diagnosis for transistor-level verification
- Andreas Kuehlmann
- David I. Cheng
- et al.
- 1994
- DAC 1994
Publications
Date
Featured collections
Popular topics
9 results for D.P. LaPotin
Physical design challenges for performance
- D.P. LaPotin
- Uttam Ghoshal
- et al.
- 1997
- ISPD 1997
Design methodology for a 1.0 GHz microprocessor
- S.D. Posluszny
- Naoaki Aoki
- et al.
- 1998
- ICCD 1998
PEPPER - a timing driven early floorplanner
- Vinod Narayananan
- D.P. LaPotin
- et al.
- 1995
- ICCD 1995
Early assessment of MCM packaging in the large system environment
- D.P. LaPotin
- 1991
- ISCAS 1991
Early matching of system requirements and package capabilities
- D.P. LaPotin
- Yi-Hsin Chen
- 1989
- ICCAD 1989
Workload and network-optimized computing systems
- D.P. LaPotin
- Shahrokh Daijavad
- et al.
- 2010
- IBM J. Res. Dev
Accurate area and delay estimation from RTL descriptions
- Arvind Srinivasan
- Gary D. Huber
- et al.
- 1998
- IEEE Transactions on VLSI Systems
Verity - a formal verification program for custom CMOS circuits
- Andreas Kuehlmann
- A. Srinivasan
- et al.
- 1995
- IBM J. Res. Dev