Questa CDC identifie et traite les problématiques de franchissement de domaines d’horloge, garantissant des designs numériques fiables, robustes et évolutifs
Grâce à des analyses structurelles avancées, Questa CDC détecte automatiquement les domaines d’horloge, les synchroniseurs et les structures basse consommation, mettant en évidence très tôt les risques liés au timing et à la métastabilité dans les projets FPGA. Avec ses capacités complètes de vérification automatisée et de débogage, l’outil simplifie la phase de validation et s’intègre naturellement aux flux de conception existants. Particulièrement adapté aux projets complexes et de grande envergure, Questa CDC sécurise la qualité, la fiabilité et réduit significativement les risques d’erreurs en phase de production.
Pourquoi choisir Questa CDC pour une vérification avancée et fiable des domaines d'horloge dans vos projets numériques ?
Analyse complète des franchissements de domaines d'horloge
Questa CDC s’appuie sur une analyse structurelle approfondie pour identifier les problématiques de timing, les risques de métastabilité et les violations de protocoles au sein de domaines d’horloge asynchrones. Cette approche permet d’éliminer des erreurs CDC critiques souvent invisibles avec les méthodes de simulation traditionnelles.
Vérification automatisée et évolutive
Questa CDC automatise la vérification des CDC et supporte une montée en charge jusqu’au niveau SoC, y compris pour des designs atteignant plusieurs milliards de portes. Son approche hiérarchique et ses algorithmes haute performance réduisent les temps de mise en place et fournissent des résultats plus rapides et plus précis.
Prise en compte des intentions basse consommation
Grâce à la prise en charge des standards UPF (Unified Power Format), Questa CDC vérifie correctement les éléments basse consommation tels que les cellules d’isolation, de rétention ou la variation dynamique de tension. Cette compréhension du low power intent permet d’éviter les erreurs CDC dans les architectures à forte contrainte énergétique.
Intégration complète et configuration facile
Avec son intégration directe dans l’environnement Questa et des exigences de configuration minimales, Questa CDC garantit une prise en main immédiate. L’outil identifie automatiquement les domaines d’horloge et les synchroniseurs, propose plus de 50 styles de synchronisation prédéfinis et prend en charge les synchroniseurs personnalisés, pour une vérification à la fois rapide, flexible et industrialisée.
En s’appuyant uniquement sur le RTL, complété le cas échéant par les contraintes SDC ou les fichiers d’intention basse consommation UPF, Questa CDC génère et analyse automatiquement des assertions afin de prévenir les problématiques CDC susceptibles de compromettre la fiabilité, voire la viabilité, des circuits. Les modèles de métastabilité peuvent être exportés vers Questa Simulation pour des analyses complémentaires, tandis que l’ensemble des résultats est centralisé dans la base de données de suivi de la vérification UCDB de Questa.
En savoir plus sur la vérification du domaine d'horloge avec Questa CDC
Télécharger la fiche produit.
Vérification automatique des franchissements de domaines d'horloge (CDC)
Questa CDC propose une vérification CDC complète et entièrement automatisée grâce à l’analyse statique. La solution identifie automatiquement les domaines d’horloge, les synchroniseurs et les structures basse consommation, et garantit que les signaux traversant des domaines d’horloge asynchrones sont correctement synchronisés. Résultat : une prévention efficace des risques de métastabilité et des erreurs de timing dès les premières phases du design.
Prise en compte des intentions basse consommation
Questa CDC prend en charge les fichiers UPF (Unified Power Format) et vérifie que les éléments basse consommation, tels que les cellules d’isolation ou la variation dynamique de tension, n’introduisent pas de problématiques CDC. L’outil sécurise les franchissements de domaines d’alimentation et garantit l’intégrité fonctionnelle des architectures low power.
Analyse évolutive et performante
Conçu pour une montée en charge au niveau SoC, Questa CDC peut traiter des designs comptant des milliards de ports. Son approche hiérarchique et sa gestion optimisée de la mémoire assurent des performances élevées, permettant d’analyser des projets vastes et complexes tout en conservant un haut niveau de précision.
Outils de débogage complets et intuitifs
Questa CDC intègre des capacités avancées de débogage avec des visualisations dédiées aux schémas CDC et aux formes d’ondes associées. L’interface graphique, intuitive et codée par couleurs, permet d’identifier rapidement les problèmes liés aux franchissements de domaines d’horloge et d’en accélérer la résolution.
Intégration complète avec Questa Simulation
Questa CDC s’intègre directement aux outils de simulation Questa, incluant la technologie brevetée d’injection de métastabilité. Cette approche permet de tester la robustesse des designs face à des défaillances CDC réalistes et d’identifier des bugs critiques qui pourraient échapper à l’analyse statique seule.
Productivité immédiate et guidage automatique des réparations
Avec une configuration minimale, Questa CDC identifie automatiquement les domaines d’horloge, les structures de synchronisation et les risques CDC potentiels. La solution fournit des recommandations de correction automatisées, s’appuyant sur plus de 50 styles de synchronisation prédéfinis et prenant en charge des synchroniseurs personnalisés pour les projets propriétaires et spécifiques.
« Questa CDC détecte et résout les problèmatiques de croisement de domaine d'horloge (CDC), garantissant un fonctionnement et une bonne synchronisation dans les conceptions numériques. »
Demandez plus d'informations ou votre devis personnalisé