Login / Signup
Robust Boolean reasoning for equivalence checking and functional property verification.
Andreas Kuehlmann
Viresh Paruthi
Florian Krohm
Malay K. Ganai
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2002)
Keyphrases
</>
verification method
consistency checking
real valued
computer vision
computationally efficient
database
artificial intelligence
probabilistic reasoning
reasoning process
functional verification