Verification of a Pipelined Microprocessor Using Clio.

Mark Bickford Mandayam K. Srivas

Published in: Hardware Specification, Verification and Synthesis (1989)

Keyphrases

functional verification
model checking
formal verification
special purpose hardware
data flow
design methodology
machine learning
concurrent systems
temporal logic
high speed
search engine
neural network
similarity measure
face verification
formal methods
knowledge base
computer vision
real world