Improvements for constraint solving in the systemc verification library.

Daniel Große Rüdiger Ebendt Rolf Drechsler

Published in: ACM Great Lakes Symposium on VLSI (2007)

Keyphrases

constraint solving
constraint logic programming
constraint propagation
constraint satisfaction problems
constraint satisfaction
constraint solver
constraint programming
model checking
search algorithm
finite domain
verification method