| Asynchronous circuits JA Brzozowski, CJH Seger Springer Science & Business Media, 1995 | 373 | 1995 |
| Formal verification by symbolic evaluation of partially-ordered trajectories CJH Seger, RE Bryant Formal Methods in System Design 6 (2), 147-189, 1995 | 367 | 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 | 159 | 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 | 155 | 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 | 121 | 2005 |
| Vos: A Formal Hardware Verification System User's Guide CJH Seger University of British Columbia. Department of Computer Science, 1993 | 107 | 1993 |
| Formal verification of digital circuits using symbolic ternary system models RE Bryant, CJH Seger International Conference on Computer Aided Verification, 33-43, 1990 | 98 | 1990 |
| 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 | 97 | 1999 |
| Linking BDD-based symbolic evaluation to interactive theorem-proving JJ Joyce, CH Seger 30th ACM/IEEE Design Automation Conference, 469-474, 1993 | 92 | 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 | 89 | 2003 |
| 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 | 88 | 1995 |
| 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 | 84 | 1998 |
| 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 | 78 | 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 | 77 | 1995 |
| Symbolic trajectory evaluation S Hazelhurst, CJH Seger Formal Hardware Verification, 3-78, 1997 | 76 | 1997 |
| 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 | 73 | 1999 |
| The HOL-Voss system: Model-checking inside a general-purpose theorem-prover J Joyce, C Seger HOL Users' Group Workshop, 185-198, 1993 | 65 | 1993 |
| Generalized symbolic trajectory evaluation—abstraction in action J Yang, CJH Seger International Conference on Formal Methods in Computer-Aided Design, 70-87, 2002 | 62 | 2002 |
| 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 | 61 | 1993 |
| 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 | 60 | 2001 |
