Error diagnosis for transistor-level verification
- Andreas Kuehlmann
- David I. Cheng
- et al.
- 1994
- DAC 1994
Publications
Date
Featured collections
Popular topics
3 results for Arvind Srinivasan
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