Trace Table Based Approach for Pipeline Microprocessor Verification.

Jun Sawada Warren A. Hunt Jr.

Published in: CAV (1997)

Keyphrases

functional verification
high speed
model checking
face verification
database
formal verification
machine learning
verification method
concurrent systems
information systems
case study