The Practical Verification of Microprocessor Designs.

Phillip J. Windley

Published in: TPHOLs (1991)

Keyphrases

functional verification
model checking
real world
information retrieval
database
databases
case study
similarity measure
search algorithm
practical application