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, 1995
3731995
Formal verification by symbolic evaluation of partially-ordered trajectories
CJH Seger, RE Bryant
Formal Methods in System Design 6 (2), 147-189, 1995
3671995
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
1591999
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
1551991
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
1212005
Vos: A Formal Hardware Verification System User's Guide
CJH Seger
University of British Columbia. Department of Computer Science, 1993
1071993
Formal verification of digital circuits using symbolic ternary system models
RE Bryant, CJH Seger
International Conference on Computer Aided Verification, 33-43, 1990
981990
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
971999
Linking BDD-based symbolic evaluation to interactive theorem-proving
JJ Joyce, CH Seger
30th ACM/IEEE Design Automation Conference, 469-474, 1993
921993
Introduction to generalized symbolic trajectory evaluation
J Yang, CJH Seger
IEEE transactions on very large scale integration (VLSI) systems 11 (3), 345-353, 2003
892003
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
881995
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
841998
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
781990
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
771995
Symbolic trajectory evaluation
S Hazelhurst, CJH Seger
Formal Hardware Verification, 3-78, 1997
761997
Lifted-fl: A pragmatic implementation of combined model checking and theorem proving
MD Aagaard, RB Jones, CJH Seger
International Conference on Theorem Proving in Higher Order Logics, 323-340, 1999
731999
The HOL-Voss system: Model-checking inside a general-purpose theorem-prover
J Joyce, C Seger
HOL Users' Group Workshop, 185-198, 1993
651993
Generalized symbolic trajectory evaluation—abstraction in action
J Yang, CJH Seger
International Conference on Formal Methods in Computer-Aided Design, 70-87, 2002
622002
A Methodology for Formal Hardware Verification, with Application to Microprocessors.
DL Beatty, RE Bryant, EM Clarke Jr, AL Fisher, CJH Seger
CARNEGIE-MELLON UNIV PITTSBURGH PA SCHOOL OF COMPUTER SCIENCE, 1993
611993
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
602001
The system can't perform the operation now. Try again later.
Articles 1–20