Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Jerry R. Burch | Researchclopedia

Back to researchers

Jerry R. Burch

Synopsys (United States)

47

Works

5,977

Citations

22

h-index

35

i10-index

Research Topics

Formal Methods in Verification Embedded Systems Design Techniques Radiation Effects in Electronics

Affiliations

California Institute of Technology1985–1985

Synopsys (Switzerland)2005–2005

Lawrence Berkeley National Laboratory1995–2006

Synopsys (United States)2004–2007

Cadence Design Systems (United States)1996–2006

Top Works

Symbolic model checking: 1020 States and beyond

Jerry R. Burch,E. M. Clarke,et al.

19922,676 citations

VLSI and Analog Circuit Testing

Low-power high-performance VLSI design

Symbolic model checking for sequential circuit verification

Jerry R. Burch,E. M. Clarke,et al.

1994548 citations

Automatic verification of pipelined microprocessor control

Jerry R. Burch,David L. Dill

1994493 citations

Sequential circuit verification using symbolic model checking

Jerry R. Burch,E. M. Clarke,et al.

1990409 citations

Symbolic model checking: 10/sup 20/ states and beyond

Jerry R. Burch,E. M. Clarke,et al.

2002304 citations

Symbolic Model Checking with Partitioned Transistion Relations.

Jerry R. Burch,Edmund M. Clarke,et al.

1991271 citations

Representing circuits more efficiently in symbolic model checking

Jerry R. Burch,E. M. Clarke,et al.

1991176 citations

Techniques for verifying superscalar microprocessors

1996106 citations

Sequential circuit verification using symbolic model checking

Jerry R. Burch,E. M. Clarke,et al.

200296 citations