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.
• Core Technologies - Is responsible for the infrastructure of the department technologies, and, in particular, the various test generators.

Laurent Fournier,