David E. Long
Cadence Design Systems (United States)(US)
Publications by Year
Research Areas
Formal Methods in Verification, Electromagnetic Simulation and Numerical Methods, Electromagnetic Scattering and Analysis, VLSI and Analog Circuit Testing, Electromagnetic Compatibility and Noise Suppression
Most-Cited Works
- → Model checking and abstraction(1994)1,209 cited
- → Symbolic model checking for sequential circuit verification(1994)548 cited
- → Model checking and modular verification(1994)526 cited
- → Compositional model checking(2003)468 cited
- Symbolic Model Checking with Partitioned Transistion Relations.(1991)
- → IES3: a fast integral equation solver for efficient 3-dimensional extraction(1997)213 cited
- → Representing circuits more efficiently in symbolic model checking(1991)176 cited
- → Verification of the Futurebus+ cache coherence protocol(1995)169 cited
- Model checking, abstraction, and compositional verification(1993)