Formal Verification of an ARM Processor.

Vishnu A. Patankar Alok Jain Randal E. Bryant

Published in: VLSI Design (1999)

Keyphrases

formal verification
functional verification
model checking
high speed
bounded model checking
model checker
symbolic model checking
automated verification
parallel processing
single chip
temporal logic
program slicing
formal specification
computer architecture
instruction set