C.-J.H. Seger

An industrially effective environment for formal hardware verification

C.-J.H. Seger, Robert B. Jones, John O’Leary et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2005 · 92 citations

Computing, Computer Engineering, Computer Science +17

Introduction to generalized symbolic trajectory evaluation

Jin Yang, C.-J.H. Seger · IEEE Transactions on Very Large Scale Integration (VLSI) Systems · 2003 · 70 citations

Computing, Computer Engineering, Computer Science +11

Practical formal verification in microprocessor design

Robert B. Jones, John O’Leary, C.-J.H. Seger et al. · IEEE Design & Test of Computers · 2001 · 59 citations

Computing, Computer Engineering, Computer Science +16

A simple theorem prover based on symbolic trajectory evaluation and BDD's

Scott Hazelhurst, C.-J.H. Seger · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1995 · 55 citations

Computing, Computer Engineering, Computer Science +13

The formal verification of a pipelined double-precision IEEE floating-point multiplier

Mark D. Aagaard, C.-J.H. Seger · Proceedings of IEEE International Conference on Computer Aided Design (ICCAD) · 2002 · 32 citations

Computing, Computer Engineering, Computer Science +16