Follow
Carl Seger
Carl Seger
Verified email at chalmers.se
Title
Cited by
Cited by
Year
Asynchronous circuits
JA Brzozowski, CJH Seger
Springer Science & Business Media, 2012
3922012
Formal verification by symbolic evaluation of partially-ordered trajectories
CJH Seger, RE Bryant
Formal Methods in System Design 6 (2), 147-189, 1995
3881995
Formally verifying IEEE compliance of floating-point hardware
J O’Leary, X Zhao, R Gerth, CJH Seger
Intel Technology Journal 3 (1), 1-14, 1999
1661999
Formal hardware verification by symbolic ternary trajectory evaluation
RE Bryant, DL Beatty, CJH Seger
Proceedings of the 28th ACM/IEEE Design Automation Conference, 397-402, 1991
1631991
An industrially effective environment for formal hardware verification
CJH Seger, RB Jones, JW O'Leary, T Melham, MD Aagaard, C Barrett, ...
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2005
1302005
Vos: A Formal Hardware Verification System User's Guide
CJH Seger
University of British Columbia. Department of Computer Science, 1993
1081993
Formal verification of digital circuits using symbolic ternary system models
RE Bryant, CJH Seger
Computer-Aided Verification: 2nd International Conference, CAV'90 New …, 1991
1001991
Formal verification using parametric representations of boolean constraints
MD Aagaard, RB Jones, CJH Serger
Proceedings of the 36th annual ACM/IEEE Design Automation Conference, 402-407, 1999
951999
Introduction to generalized symbolic trajectory evaluation
J Yang, CJH Seger
IEEE transactions on very large scale integration (VLSI) systems 11 (3), 345-353, 2003
922003
Linking BDD-based symbolic evaluation to interactive theorem-proving
JJ Joyce, CJH Seger
Proceedings of the 30th international Design Automation Conference, 469-474, 1993
901993
The formal verification of a pipelined double-precision IEEE floating-point multiplier
MD Aagaard, CJH Seger
Proceedings of IEEE international conference on computer aided design (ICCAD …, 1995
871995
Combining theorem proving and trajectory evaluation in an industrial environment
MD Aagaard, RB Jones, CJH Seger
Proceedings of the 35th annual Design Automation Conference, 538-541, 1998
861998
Symbolic trajectory evaluation
S Hazelhurst, CJH Seger
Formal hardware verification: Methods and systems in comparison, 3-78, 2005
812005
Advances in asynchronous circuit theory. Part I: gate and unbounded inertial delay
JA Brzozowski, CJH Seger
Bulletin of the European Association for Theoretical Computer Science, EATCS …, 1990
801990
A simple theorem prover based on symbolic trajectory evaluation and BDD's
S Hazelhurst, CJH Seger
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 1995
761995
Lifted-fl: A pragmatic implementation of combined model checking and theorem proving
MD Aagaard, RB Jones, CJH Seger
Theorem Proving in Higher Order Logics: 12th International Conference …, 1999
731999
Practical formal verification in microprocessor design
RB Jones, JW O'Leary, CJH Seger, MD Aagaard, TF Melham
IEEE design & test of computers 18 (4), 16-25, 2001
652001
A methodology for formal hardware verification, with application to microprocessors
DL Beatty
Carnegie Mellon University, 1993
631993
The HOL-Voss system: Model-checking inside a general-purpose theorem-prover
J Joyce, C Seger
HOL Users' Group Workshop, 185-198, 1993
631993
Generalized symbolic trajectory evaluation—abstraction in action
J Yang, CJH Seger
Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD …, 2002
622002
The system can't perform the operation now. Try again later.
Articles 1–20