Publications

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
Error diagnosis for transistor-level verification
- - Andreas Kuehlmann
  - David I. Cheng
  - et al.
- 1994
- DAC 1994