| Formal Methods in Computer-Aided Design, FMCAD 2008, Portland, Oregon, USA, 17-20 November 2008 | 25 | 1.41 | 2008 |
| Introduction to special section on high-level design, validation, and test | 0 | 0.34 | 2008 |
| Mothers of Pipelines | 2 | 0.38 | 2007 |
| Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings | 40 | 8.25 | 2006 |
| An industrially effective environment for formal hardware verification | 46 | 1.93 | 2005 |
| Synchronization-at-Retirement for Pipeline Verification | 3 | 0.45 | 2004 |
| A framework for superscalar microprocessor correctness statements | 26 | 0.85 | 2003 |
| Abstraction by Symbolic Indexing Transformations | 8 | 0.63 | 2002 |
| Formal Verification of Out-of-Order Execution with Incremental Flushing | 27 | 2.11 | 2002 |
| Practical Formal Verification in Microprocessor Design | 25 | 1.39 | 2001 |
| A Framework for Microprocessor Correctness Statements | 17 | 0.85 | 2001 |
| Formal verification of iterative algorithms in microprocessors | 16 | 1.23 | 2000 |
| A Methodology for Large-Scale Hardware Verification | 24 | 2.22 | 2000 |
| Lifted-FL: A Pragmatic Implementation of Combined Model Checking and Theorem Proving | 23 | 1.73 | 1999 |
| Parametric Representations of Boolean Constraints | 1 | 0.36 | 1999 |
| Reducing Manual Abstraction in Formal Verification of Out-of-Order Execution | 14 | 0.99 | 1998 |
| Formal Verification of Out-of-Order Execution Using Incremental Flushing | 45 | 3.37 | 1998 |
| Combining theorem proving and trajectory evaluation in an industrial environment | 30 | 1.88 | 1998 |
| Self-Consistency Checking | 13 | 1.67 | 1996 |
| Efficient validity checking for processor verification | 44 | 6.55 | 1995 |
| Extended Subject Access To Hypertext Online Documentation .1.2. The Search-Support And Maintenance Problems | 5 | 0.58 | 1991 |
