Formal Verification of a Reconfigurable Microprocessor.

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

Published in: FPL (2000)

Keyphrases

formal verification
functional verification
model checking
model checker
low cost
automated verification
symbolic model checking
reconfigurable architecture
bounded model checking
special purpose hardware
design methodology
general purpose
high speed
instruction set
temporal logic
hardware implementation