Clock Routing for High-Performance ICs. - Michael A. B. Jackson; Arvind Srinivasan 004; Ernest S. Kuh (DAC, 1990)

MOLE: a sea-of-gates detailed router. - Arvind Srinivasan 004; Ernest S. Kuh (EURO-DAC, 1990)

A Fast Algorithm for Performance-Driven Placement. - Michael A. B. Jackson; Arvind Srinivasan 004; Ernest S. Kuh (ICCAD, 1990)

Algorithms for Discrete Function Manipulation. - Arvind Srinivasan 004; Timothy Kam; Sharad Malik; Robert K. Brayton (ICCAD, 1990)

An Algorithm for Performance-Driven Initial Placement of Small-Cell ICs. - Arvind Srinivasan 004 (DAC, 1991)

RITUAL: Performance Driven Placement Algorithm for Small Cell ICs. - Arvind Srinivasan 004; Kamal Chaudhary; Ernest S. Kuh (ICCAD, 1991)

Error Diagnosis for Transistor-Level Verification. - Andreas Kuehlmann; David Ihsin Cheng; Arvind Srinivasan 004; David P. LaPotin (DAC, 1994)

Verity - A formal verification program for custom CMOS circuits. - Andreas Kuehlmann; Arvind Srinivasan 004; David P. LaPotin (IBM J. Res. Dev., 1995)

Accurate area and delay estimation from RTL descriptions. - Arvind Srinivasan 004; Gary D. Huber; David P. LaPotin (IEEE Trans. Very Large Scale Integr. Syst., 1998)