David P. LaPotin

Verity—A formal verification program for custom CMOS circuits

Andreas Kuehlmann, A. Srinivasan, David P. LaPotin · IBM Journal of Research and Development · 1995 · 96 citations

Hardware Modeling, Engineering, Hardware Verification Language +20

Error diagnosis for transistor-level verification

Andreas Kuehlmann, David Ihsin Cheng, Arvind Srinivasan et al. · 1994 · 66 citations · Full text

Design methodology for a 1.0 GHz microprocessor

S. Posluszny, N. Aoki, D. Boerstler et al. · 2002 · 45 citations

Hardware Security, Electrical Engineering, Austin Research Laboratory +15

Delay bounded buffered tree construction for timing driven floorplanning

Maggie Kang, Wayne W.-M. Dai, Tom Dillinger et al. · International Conference on Computer Aided Design · 1997 · 22 citations

Engineering, Vlsi Design, Computer Architecture +18

Accurate area and delay estimation from RTL descriptions

A. Srinivasan, G.D. Huber, David P. LaPotin · IEEE Transactions on Very Large Scale Integration (VLSI) Systems · 1998 · 19 citations

Engineering, Location Estimation, Electronic Design Automation +21