Performance Analysis of Constraint Solvers

Technical Report

Abstract
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 CDTG 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.

Files

• Technical Report: PDF File