Générez des contraintes de temps depuis RTL ou Netlist. Extrayez, visualisez et analysez la structure de chronométrage de conception et la propagation pour différents modes, quel que soit le niveau hiérarchique. Constraints Builder génère tous types de contraintes, quel que soit le mode, pour les différents processus de conception de SOC en aval.
Constraints Builder est un outil de compilation de contraintes formelles qui génère automatiquement des SDC pour tous les modes et tous les niveaux de hiérarchie, raccourcissant ainsi le cycle de fermeture. Constraints Builder compile, propage hiérarchiquement et gère automatiquement les contraintes temporelles de qualité d'approbation, corrigées par construction, pour les différentes applications.
Constraints Builder génère des contraintes temporelles complètes au format SDC pour toutes les hiérarchies de conception et pour tous les modes. Aucune connaissance de la syntaxe SDC n'est requise.
Constraints Builder permet de gérer les contraintes temporelles et propose une interface Excel fluide pour modifier les contraintes temporelles en externe. L'interface permet aux designers d'utiliser le format tableur pour revoir et modifier les données de chronométrage.
Les fonctionnalités de propagation multiple de Constraints Builder permettent aux concepteurs de générer des contraintes de haut niveau en toute flexibilité, ce qui leur permet d'économiser des semaines de modifications manuelles et d'éliminer le risque de manquer des contraintes.