Verifying the FM9801 microarchitecture.

Warren A. Hunt Jr.Jun Sawada

Published in: IEEE Micro (1999)

Keyphrases

early stage
model checking
circuit design
expert systems
verification method
case study
software engineering
building blocks
black box