RISC: Acorn RISC machine family data manual

Specification and verification of pipelining in the ARM2 RISC microprocessor

ACM Transactions on Design Automation of Electronic Systems (TODAES)

An RTL Abstraction Technique for Processor MicroarchitectureValidation and Test Generation

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

A RISC Processor for Embedded Applications Within an ASIC

IEEE Micro

Verification of Processor Microarchitectures

VTS '99 Proceedings of the 1999 17TH IEEE VLSI Test Symposium