Automatic formal verification of multithreaded pipelined microprocessors.

Miroslav N. Velev Ping Gao

Published in: ICCAD (2011)

Keyphrases

formal verification
model checking
model checker
bounded model checking
automated verification
symbolic model checking
multi user
semi automatic
data flow
computing power
knowledge base
web services
knowledge based systems
linear array