A Probabilistic and Approximated Approach to Circuit-Based Formal Verification.

Sergio Nocco Stefano Quer

Published in: J. Satisf. Boolean Model. Comput. (2008)

Keyphrases

formal verification
model checking
symbolic model checking
automated verification
model checker

program slicing
high speed
bounded model checking
bayesian networks
linear combination

probabilistic model
generative model
probability theory
circuit design
probabilistic reasoning

analog circuits
belief networks
orders of magnitude
reinforcement learning