TY - GEN
T1 - Beyond feasibility
T2 - 19th International Conference on Principles and Practice of Constraint Programming, CP 2013
AU - Naveh, Reuven
AU - Metodi, Amit
PY - 2013/10/22
Y1 - 2013/10/22
N2 - Constraint programming (CP) figures prominently in the process of functional hardware verification. The verification process is based on generating random tests according to given set of constraints. In this paper. we introduce IntelliGen, a propagation based solver, and the random generator of Cadence's Specman verification tool. IntelliGen is designed to handle several problems beyond the mere need to find a feasible solution, including: generating random tests with a 'good' distribution over the solution space; maintaining test reproducibility through different run modes and minor code changes; and debug of the solving process by verification engineers. We discuss the advantages of CP solvers over other solving technologies (such as BDD, SAT or SMT), and how IntelliGen overcomes the disadvantages of CP.
AB - Constraint programming (CP) figures prominently in the process of functional hardware verification. The verification process is based on generating random tests according to given set of constraints. In this paper. we introduce IntelliGen, a propagation based solver, and the random generator of Cadence's Specman verification tool. IntelliGen is designed to handle several problems beyond the mere need to find a feasible solution, including: generating random tests with a 'good' distribution over the solution space; maintaining test reproducibility through different run modes and minor code changes; and debug of the solving process by verification engineers. We discuss the advantages of CP solvers over other solving technologies (such as BDD, SAT or SMT), and how IntelliGen overcomes the disadvantages of CP.
UR - http://www.scopus.com/inward/record.url?scp=84885719187&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-40627-0_60
DO - 10.1007/978-3-642-40627-0_60
M3 - Conference contribution
AN - SCOPUS:84885719187
SN - 9783642406263
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 823
EP - 831
BT - Principles and Practice of Constraint Programming - 19th International Conference, CP 2013, Proceedings
Y2 - 16 September 2013 through 20 September 2013
ER -