|
We are involved in the research and development of CSP-based technologies oriented mainly at the functional verification of hardware design. In the realm of automatic testcase generation for hardware verification, constraints serve three different purposes:
- Enforcing the validity of the testcase by modeling the hardware specification as a set of constraints
- Creating 'interesting' tests by biasing the test towards known prone-to-bugs areas. This knowledge is typically generic to the domain (applies regardless of specific user requests), and the biasing is enforced through soft constraints
- Implementing the current verification task by imposing user-specified hard and soft constraints
| 
