| 1996 | A Brief Study of BDD Package Performance. Ellen Sentovich |
| 1996 | A Methodology for Processor Implementation Verification. Daniel Lewin, Dean H. Lorenz, Shmuel Ur |
| 1996 | A Tutorial on Digital Design Derivation Using DRS. Bhaskar Bose, M. Esen Tuna, Venkatesh Choppella |
| 1996 | A Unified Approach for Combining Different Formalisms for Hardware Verification. Klaus Schneider, Thomas Kropf |
| 1996 | ACL2 Theorems About Commercial Microprocessors. Bishop Brock, Matt Kaufmann, J Strother Moore |
| 1996 | An Algebraic Model of Correctness for Superscalar Microprocessors. Anthony C. J. Fox, Neal A. Harman |
| 1996 | Automatic Generation of Invariants in Processor Verification. Jeffrey X. Su, David L. Dill, Clark W. Barrett |
| 1996 | BDDs vs. Zero-Suppressed BDDs: for CTL Symbolic Model Checking of Petri Nets. Tomohiro Yoneda, Hideyuki Hatori, Atsushi Takahara, Shin-ichi Minato |
| 1996 | BMDs Can Delay the Use of Theorem Proving for Verifying Arithmetic Assembly Instructions. Laurent Arditi |
| 1996 | Coverage-Directed Test Generation Using Symbolic Techniques. Daniel Geist, Monica Farkas, Avner Landver, Yossi Lichtenstein, Shmuel Ur, Yaron Wolfsthal |
| 1996 | Decomposition Techniques for Efficient ROBDD Construction. Jawahar Jain, Amit Narayan, C. Coelho, Sunil P. Khatri, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton, Masahiro Fujita |
| 1996 | Experiments in Automating Hardware Verification Using Inductive Proof Planning. Francisco J. Cantu, Alan Bundy, Alan Smaill, David A. Basin |
| 1996 | Formal Methods in Computer-Aided Design, First International Conference, FMCAD '96, Palo Alto, California, USA, November 6-8, 1996, Proceedings Mandayam K. Srivas, Albert John Camilleri |
| 1996 | Formal Specification and Verification of VHDL. Mark Bickford, Damir Jamsek |
| 1996 | Formal Synthesis in Circuit Design - A Classification and Survey. Ramayya Kumar, Christian Blumenröhr, Dirk Eisenbiegler, Detlef Schmid |
| 1996 | Formal Verification of the Island Tunnel Controller Using Multiway Decision Graphs. Zijian Zhou, Xiaoyu Song, Sofiène Tahar, Eduard Cerny, Francisco Corella, Michel Langevin |
| 1996 | HDL-Based Integration of Formal Methods and CAD Tools in the PREVAIL Environment. Dominique Borrione, H. Bouamama, David Déharbe, C. Le Faou, Ayman M. Wahba |
| 1996 | HOL Light: A Tutorial Introduction. John Harrison |
| 1996 | Hierarchical Verification of Two-Dimensional High-Speed Multiplication in PVS: A Case Study. Harald Rueß |
| 1996 | Inverting the Abstraction Mapping: A Methodology for Hardware Verification. David Cyrluk |
| 1996 | Local Encoding Transformations for Optimizing OBDD-Representations of Finite State Machines. Christoph Meinel, Thorsten Theobald |
| 1996 | Mechanically Checking a Lemma Used in an Automatic Verification Tool. Phillip J. Windley, Jerry R. Burch |
| 1996 | Modular Verification of Multipliers. Kavita Ravi, Abelardo Pardo, Gary D. Hachtel, Fabio Somenzi |
| 1996 | PVS: Combining Specification, Proof Checking, and Model Checking. Natarajan Shankar |
| 1996 | Self-Consistency Checking. Robert B. Jones, Carl-Johan H. Seger, David L. Dill |
| 1996 | Specification of Control Flow Properties for Verification of Synthesized VHDL Designs. Naren Narasimhan, Ranga Vemuri |
| 1996 | The Need for Formal Methods for Integrated Circuit Design. Kurt Keutzer |
| 1996 | VIS. Robert K. Brayton, Gary D. Hachtel, Alberto L. Sangiovanni-Vincentelli, Fabio Somenzi, Adnan Aziz, Szu-Tsung Cheng, Stephen A. Edwards, Sunil P. Khatri, Yuji Kukimoto, Abelardo Pardo, Shaz Qadeer, Rajeev K. Ranjan, Shaker Sarwary, Thomas R. Shiple, Gitanjali Swamy, Tiziano Villa |
| 1996 | Validity Checking for Combinations of Theories with Equality. Clark W. Barrett, David L. Dill, Jeremy R. Levitt |
| 1996 | Verification Using Uninterpreted Functions and Finite Instantiations. Ramin Hojati, Adrian J. Isles, Desmond Kirkpatrick, Robert K. Brayton |
| 1996 | Verification of All Circuits in a Floating-Point Unit Using Word-Level Model Checking. Yirng-An Chen, Edmund M. Clarke, Pei-Hsin Ho, Yatin Vasant Hoskote, Timothy Kam, Manpreet Khaira, John W. O'Leary, Xudong Zhao |
| 1996 | Verification of IEEE Compliant Subtractive Division Algorithms. Paul S. Miner, James F. Leathrum |
| 1996 | Verifying Nondeterministic Implementations of Deterministic Systems. Alok Jain, Kyle L. Nelson, Randal E. Bryant |