Efficient Bit-Level Model Reductions for Automated Hardware Verification.

Sergey Tverdyshev Eyad Alkassar

Published in: TIME (2008)

Keyphrases

probabilistic model
statistical model
formal model
database
similarity measure
low cost
computational model
conceptual model
real time
prior knowledge
cost function
access control
theoretical framework
simulation model
verification method