Unit Verification and Constraint Satisfaction

The activities of the Unit Verification and Constraint Satisfaction group cover two separate domains of the Simulation-based Technologies field:

• Unit Verification - Focuses on verification at the unit level, including all aspects of testbench development.
• Constraint Satisfaction - Engages in research and development of our generic constraint solvers and in applying the solvers in various application domains.

Itai Jaeger,