Formal Verification of a Complex Pipelined Processor.

Ravi Hosabettu Ganesh Gopalakrishnan Mandayam K. Srivas

Published in: Formal Methods Syst. Des. (2003)

Keyphrases

formal verification
model checking
functional verification
high speed
model checker
symbolic model checking
bounded model checking
automated verification
complex systems
parallel processing
parallel processors
program slicing