A Practical Methodology for the Formal Verification of RISC Processors.

Sofiène Tahar Ramayya Kumar

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

Keyphrases

formal verification
model checking
bounded model checking
model checker
instruction set
parallel algorithm
general purpose
parallel processing
automated verification
application specific
symbolic model checking
program slicing
real world
parallel computing
shared memory
temporal logic
software engineering