Property Set Exhaustiveness Estimation Approach for BMC-based Formal Hardware Verification.

Katharina Weinberger Slava Bulach Wolfgang Rosenstiel

Published in: MBMV (2007)

Keyphrases

databases
probability distribution
database
neural network
low cost
small number
formal verification
hardware designs