Software for the development, verification, and management of timing constraints. Product portfolio covers the entire spectrum of timing constraints authoring, compiling, verification, formal validation and management using a multi-mode approach that bridges early design concepts with their physical implementation.
