| Asynchronous circuits JA Brzozowski, CJH Seger Springer Science & Business Media, 2012 | 398 | 2012 |
| Formal verification by symbolic evaluation of partially-ordered trajectories CJH Seger, RE Bryant Formal Methods in System Design 6 (2), 147-189, 1995 | 390 | 1995 |
| 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 | 168 | 1999 |
| 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 | 164 | 1991 |
| 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 | 130 | 2005 |
| Formal verification of digital circuits using symbolic ternary system models RE Bryant, CJH Seger Computer-Aided Verification: 2nd International Conference, CAV'90 New …, 1991 | 110 | 1991 |
| Vos: A Formal Hardware Verification System User's Guide CJH Seger University of British Columbia. Department of Computer Science, 1993 | 108 | 1993 |
| Introduction to generalized symbolic trajectory evaluation J Yang, CJH Seger IEEE transactions on very large scale integration (VLSI) systems 11 (3), 345-353, 2003 | 95 | 2003 |
| 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 | 94 | 1999 |
| 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 | 93 | 1995 |
| Linking BDD-based symbolic evaluation to interactive theorem-proving JJ Joyce, CJH Seger Proceedings of the 30th international Design Automation Conference, 469-474, 1993 | 92 | 1993 |
| 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 | 88 | 1998 |
| Symbolic trajectory evaluation S Hazelhurst, CJH Seger Formal hardware verification: Methods and systems in comparison, 3-78, 2005 | 84 | 2005 |
| 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 | 82 | 1990 |
| 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 | 79 | 1995 |
| 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 | 74 | 1999 |
| 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 | 67 | 2001 |
| Generalized symbolic trajectory evaluation—abstraction in action J Yang, CJH Seger Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD …, 2002 | 63 | 2002 |
| A methodology for formal hardware verification, with application to microprocessors DL Beatty Carnegie Mellon University, 1993 | 63 | 1993 |
| The HOL-Voss system: Model-checking inside a general-purpose theorem-prover J Joyce, C Seger HOL Users' Group Workshop, 185-198, 1993 | 60 | 1993 |
