Formal Verification for Microprocessors with Extendable Instruction Set.

Sergej Sawitzki Rainer G. Spallek Jens Schönherr Bernd Straube

Published in: ASAP (2000)

Keyphrases

instruction set
formal verification
model checking
floating point
computer architecture
application specific
model checker
bounded model checking
automated verification
embedded systems
level parallelism
general purpose
memory subsystem
computer systems
memory access