Générer des contraintes temporelles à partir de RTL ou Netlist. Extraire, visualiser et analyser la structure de cadrage de conception et la propagation pour différents modes pour n'importe quelle couche de hiérarchie. Constraints Builder génère tout type de contraintes pour n'importe quel mode pour divers processus de conception SOC en aval.
Le générateur de contraintes est l'outil de compilation de contraintes formelles qui génère automatiquement des SDC pour n'importe quel mode et niveau de hiérarchie, raccourcissant le cycle de fermeture temporel. Le générateur de contraintes compile automatiquement, propage hiérarchiquement et gère les contraintes de synchronisation de la qualité de la signature correctes par construction pour diverses applications.
Contraintes Builder génère des contraintes temporelles complètes au format SDC pour toute hiérarchie de conception et pour n'importe quel mode. Aucune connaissance de la syntaxe SDC n'est requise.
Contraints Builder offre une gestion des contraintes de synchronisation et une interface Excel transparente pour modifier les contraintes de chronométrage à l'externe. L'interface permet aux concepteurs d'utiliser le format feuilles de calcul pour examiner et modifier les données de chronométrage.
Les capacités multi-propagation de Contraints Builder offrent la flexibilité au concepteur pour générer des contraintes de haut niveau appropriées, ce qui permet d'économiser des semaines d'édition manuelle du concepteur et d'éliminer le risque de contraintes manquantes.