David E. Long

Publication Activity (10 Years)

Years Active: 1989-2010
Publications (10 Years): 0

Publications

Sharad Kapur, David E. Long
Modeling of integrated RF passive devices. CICC (2010)
Sharad Kapur, David E. Long, Robert C. Frye, Yu-Chia Chen, Ming-Hsiang Cho, Huai-Wen Chang, Jun-Hong Ou, Bigchoug Hung
Synthesis of Optimal On-Chip Baluns. CICC (2007)
Sharad Kapur, David E. Long
Large-scale full-wave simulation. DAC (2004)
Kanad Chakraborty, David E. Long, John P. Fishburn, Kishore Singhal, Lun Ye, Christopher Ortiz
A signal integrity-driven buffer insertion technique for post-routing noise and delay optimization. CICC (2002)
Peter R. Kinget, Robert C. Melville, David E. Long, Venugopal Gopinathan
An injection-locking scheme for precision quadrature generation. IEEE J. Solid State Circuits 37 (7) (2002)
Alper Demir, David E. Long, Jaijeet S. Roychowdhury
Computing Phase Noise Eigenfunctions Directly from Harmonic Balance/Shooting Matrices. VLSI Design (2001)
Piet Wambacq, Gerd Vandersteen, Joel R. Phillips, Jaijeet S. Roychowdhury, Wolfgang Eberle, Baolin Yang, David E. Long, Alper Demir
CAD for RF circuits. DATE (2001)
David E. Long, Mahesh A. Iyer, Miron Abramovici
FILL and FUNI: algorithms to identify illegal states and sequentially untestable faults. ACM Trans. Design Autom. Electr. Syst. 5 (3) (2000)
Sharad Kapur, David E. Long
Large-scale capacitance calculation. DAC (2000)
Alper Demir, David E. Long, Jaijeet S. Roychowdhury
Computing Phase Noise Eigenfunctions Directly from Steady-State Jacobian Matrices. ICCAD (2000)
Peter Feldmann, Sharad Kapur, David E. Long
Efficient Techniques for Modeling Chip-Level Interconnect, Substrate and Package Parasitics. DATE (1999)
Patrice Godefroid, David E. Long
Symbolic Protocol Verification with Queue BDDs. Formal Methods Syst. Des. 14 (3) (1999)
Al Dunlop, Alper Demir, Peter Feldmann, Sharad Kapur, David E. Long, Robert C. Melville, Jaijeet S. Roychowdhury
Tools and Methodology for RF IC Design. DAC (1998)
Sharad Kapur, David E. Long, Jinsong Zhao
Efficient full-wave simulation in layered, lossy media. CICC (1998)
Jaijeet Roychowdhury, David E. Long, Peter Feldmann
Cyclostationary noise analysis of large RF circuits with multitone excitations. IEEE J. Solid State Circuits 33 (3) (1998)
David E. Long
The design of a cache-friendly BDD library. ICCAD (1998)
Sharad Kapur, David E. Long
High-order Nyström schemes for efficient 3-D capacitance extraction. ICCAD (1998)
Jinsong Zhao, Wayne Wei-Ming Dai, Sharad Kapur, David E. Long
Efficient Three-Dimensional Extraction Based on Static and Full-Wave Layered Green's Functions. DAC (1998)
Anca Browne, Edmund M. Clarke, Somesh Jha, David E. Long, Wilfredo R. Marrero
An Improved Algorithm for the Evaluation of Fixpoint Expressions. Theor. Comput. Sci. 178 (1-2) (1997)
Sharad Kapur, David E. Long
IES3: a fast integral equation solver for efficient 3-dimensional extraction. ICCAD (1997)
Mahesh A. Iyer, David E. Long, Miron Abramovici
Surprises in Sequential Redundancy Identification. ED&TC (1996)
Sharad Kapur, David E. Long, Jaijeet S. Roychowdhury
Efficient time-domain simulation of frequency-dependent elements. ICCAD (1996)
Patrice Godefroid, David E. Long
Symbolic Protocol Verification With Queue BDDs. LICS (1996)
Krishna B. Rajan, David E. Long, Miron Abramovici
Increasing testability by clock transformation (getting rid of those darn states). VTS (1996)
Mahesh A. Iyer, David E. Long, Miron Abramovici
Identifying Sequential Redundancies Without Search. DAC (1996)
Edmund M. Clarke, Orna Grumberg, David E. Long
Model checking. NATO ASI DPD (1996)
David E. Long, Mahesh A. Iyer, Miron Abramovici
Identifying sequentially untestable faults using illegal states. VTS (1995)
Edmund M. Clarke, Orna Grumberg, Hiromi Hiraishi, Somesh Jha, David E. Long, Kenneth L. McMillan, Linda A. Ness
Verification of the Futurebus+ Cache Coherence Protocol. Formal Methods Syst. Des. 6 (2) (1995)
Vicky Hartonas-Garmhausen, Thomas R. Kurfess, Edmund M. Clarke, David E. Long
Automatic verification of industrial designs. WIFT (1995)
David E. Long, Anca Browne, Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero
An Improved Algorithm for the Evaluation of Fixpoint Expressions. CAV (1994)
Jerry R. Burch, Edmund M. Clarke, David E. Long, Kenneth L. McMillan, David L. Dill
Symbolic model checking for sequential circuit verification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 13 (4) (1994)
Edmund M. Clarke, Orna Grumberg, David E. Long
Model Checking and Abstraction. ACM Trans. Program. Lang. Syst. 16 (5) (1994)
Orna Grumberg, David E. Long
Model Checking and Modular Verification. ACM Trans. Program. Lang. Syst. 16 (3) (1994)
Edmund M. Clarke, Orna Grumberg, Hiromi Hiraishi, Somesh Jha, David E. Long, Kenneth L. McMillan, Linda A. Ness
Verification of the Futurebus+ Cache Coherence Protocol. CHDL (1993)
Edmund M. Clarke, Orna Grumberg, David E. Long
Verification Tools for Finite-State Concurrent Systems. REX School/Symposium (1993)
Soumitra Bose, Edmund M. Clarke, David E. Long, Spiro Michaylov
PARTHENON: A Parallel Theorem Prover for Non-Horn Clauses. J. Autom. Reason. 8 (2) (1992)
Edmund M. Clarke, Orna Grumberg, David E. Long
Model Checking and Abstraction. POPL (1992)
Jerry R. Burch, David E. Long
Efficient Boolean function matching. ICCAD (1992)
Jerry R. Burch, Edmund M. Clarke, David E. Long
Symbolic Model Checking with Partitioned Transistion Relations. VLSI (1991)
Edmund M. Clarke, David E. Long, Kenneth L. McMillan
A language for compositional specification and verification of finite state hardware controllers. Proc. IEEE 79 (9) (1991)
Jerry R. Burch, Edmund M. Clarke, David E. Long
Representing Circuits More Efficiently in Symbolic Model Checking. DAC (1991)
Orna Grumberg, David E. Long
Model Checking and Modular Verification. CONCUR (1991)
Soumitra Bose, Edmund M. Clarke, David E. Long, Spiro Michaylov
PARTHENON: A Parallel Theorem Prover for Non-Horn Clauses LICS (1989)
Edmund M. Clarke, David E. Long, Kenneth L. McMillan
Compositional Model Checking LICS (1989)