A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Performance analysis of constraint solvers for coverage directed test generation
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
doi:10.1109/icm.2011.6177404
fatcat:e2c64fqyy5dn3og3uvogewdk5i