Formal Verification of the VAMP Floating Point Unit.

Christoph Berg Christian Jacobi

Published in: CHARME (2001)

Keyphrases

formal verification
floating point unit
floating point
model checking
massively parallel
model checker
bounded model checking
symbolic model checking
automated verification
program slicing
fixed point
knowledge representation
temporal logic
matrix multiplication