Formal Verification of Hardware Design

Experiences in functional validation of a high level synthesis system

DAC '93 Proceedings of the 30th international Design Automation Conference

Design verification via simulation and automatic test pattern generation

ICCAD '95 Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design

The DUAL-EVAL Hardware Description Language and Its Use in the Formal Specification and Verification of the FM9001 Microprocessor

Formal Methods in System Design

Formal verification made easy

IBM Journal of Research and Development - Special issue: IBM S/390 G3 and G4

High-level design verification of microprocessors via error modeling

ACM Transactions on Design Automation of Electronic Systems (TODAES)

A Buffer-Oriented Methodology for Microarchitecture Validation

Journal of Electronic Testing: Theory and Applications - Special issue on microprocessor test and verification

Logic Design Validation via Simulation and Automatic Test Pattern Generation

Journal of Electronic Testing: Theory and Applications

Effectiveness of Microarchitecture Test Program Generation

IEEE Design & Test

Compositional verification of knowledge-based task models and problem-solving methods

Knowledge and Information Systems

Fast co-verification of HDL models

Microelectronic Engineering

The ODYSSEY approach to early simulation-based equivalence checking at ESL level using automatically generated executable transaction-level model

Microprocessors & Microsystems

Automated deduction for verification

ACM Computing Surveys (CSUR)