Performance analysis of constraint solvers for coverage directed test generation

M. P. Jomu George, O. Ait Mohamed
2011 ICM 2011 Proceeding  
Coverage is a metric used to obtain information about execution of hardware description language (HDL) statements. It helps to determine how well the test cases verified the design under verification. Coverage directed test generation (CDTG) techniques analyze coverage results and adapt the test generation process to improve the coverage. This step is iterated until the required coverage is attained. One of the important components of CDTG technique is the constraint solver. The efficiency of
more » ... TG depends on the constraint solver used. In this report, a comparative study is conducted to measure the effectiveness of VCS2009.06 against other commercially available constraint solvers. Our results are obtained by solving N Queens problem and car sequencing problem using the different solvers.
doi:10.1109/icm.2011.6177404 fatcat:e2c64fqyy5dn3og3uvogewdk5i