Login / Signup
SAT-based methods for sequential hardware equivalence verification without synchronization.
Zurab Khasidashvili
Ziyad Hanna
Published in:
Electron. Notes Theor. Comput. Sci. (2003)
Keyphrases
</>
benchmark datasets
preprocessing
computational cost
orders of magnitude
image processing
significant improvement
real time
data sets
decision trees
search algorithm
machine learning methods
integer linear programming