Functional verification of a multiple-issue, pipelined, superscalar Alpha processor—the Alpha 21164 CPU chip

Code generation and analysis for the functional verification of micro processors

DAC '96 Proceedings of the 33rd annual Design Automation Conference

Validation coverage analysis for complex digital designs

Proceedings of the 1996 IEEE/ACM international conference on Computer-aided design

Functional verification of a multiple-issue, out-of-order, superscalar Alpha processor—the DEC Alpha 21264 microprocessor

DAC '98 Proceedings of the 35th annual Design Automation Conference

Testing for Function and Performance: Towards anIntegrated Processor Validation Methodology

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

Pre-silicon verification of the Alpha 21364 microprocessor error handling system

Proceedings of the 38th annual Design Automation Conference

Alpha 21164 Manufacturing Test Development and Coverage Analysis

IEEE Design & Test

Postsilicon Validation Methodology for Microprocessors

IEEE Design & Test

Guest Editors' Introduction: Challenges in Processor Modeling and Validation

IEEE Micro

Performance Analysis and Validation of the picoJava Processor

IEEE Micro

Formal Verification of the Alpha 21364 Network Protocol

TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics

Automaton: An Autonomous Coverage-Based Multiprocessor System Verification Environment

RSP '97 Proceedings of the 8th International Workshop on Rapid System Prototyping (RSP '97) Shortening the Path from Specification to Prototype

MANUFACTURING PATTERN DEVELOPMENT FOR THE ALPHA 21164 MICROPROCESSOR

ITC '97 Proceedings of the 1997 IEEE International Test Conference

New methodology for early-stage, microarchitecture-level power-performance analysis of microprocessors

IBM Journal of Research and Development

INTEG: a stochastic testing system for microprocessor verification

ICC'07 Proceedings of the 11th Conference on Proceedings of the 11th WSEAS International Conference on Circuits - Volume 11

Pseudorandom verification and emulation of an MPEG-2 transport demultiplexor

IBM Journal of Research and Development