Automatic Formal Verification of Fused-Multiply-Add FPUs.

Christian Jacobi Kai Weber Viresh Paruthi Jason Baumgartner

Published in: DATE (2005)

Keyphrases

formal verification
model checking
automated verification
model checker
bounded model checking
functional verification
data fusion
semi automatic
symbolic model checking
knowledge acquisition
artificial intelligence
knowledge based systems
information fusion