Implementing a Methodology for Formally Verifying RISC Processors in HOL.

Sofiène Tahar Ramayya Kumar

Published in: HUG (1993)

Keyphrases

instruction set
parallel algorithm
parallel processing
theorem prover
artificial intelligence
design methodology
image processing
model checking
logical framework
natural deduction