Advanced Structural and Semi-Formal Verification Flow for Clock Domain Crossing (CDC) in Asynchronous Multiclock Systems
Year: 2024
Type: dissertation
Abstract: Développement d’un flot avancé de vérification structurelle et semi-formelle des chemins asynchrones pour les Systèmes Multi-horloges Pendant mon doctorat, nous nous sommes concentrés sur l’amélioration de la vérification des interfaces asynchrones sur les systèmes multi-horloges. Notre missionétait d’optimiser la vérification de la traversée de domaine d’horloge (CDC) sur RTLpour éviter les bugs potentiels qui pourraient affecter l’intégrité du silicium. Nousavons introduit de nouveaux aspects pour élever la qualité de la vérification et avonsatteint avec succès leurs objectifs. Nous avons commencé par améliorer les méthodes de vérification structurelle existantes en introduisant le flot de vérification CDCUPF-Aware. Nous avons également cherché à intégrer la vérification fonctionnelledynamique avec la vérification statique CDC à travers le flot de vérification semiformelle CDC. Cela a conduit à la modélisation du "Qualificateur Universel", uneméthode générique pour vérifier tous les types de synchroniseurs de données CDC,et du "Flot Hybride", une façon d’utiliser des assertions pour accélérer la contraintede l’arbre d’horloge pour la vérification statique CDC. De plus, en collaboration avecAccellera, notre équipe a été pionnière dans la création de la première norme IEEEpour les modèles CDC, qui servent de représentations abstraites concises de blocset de sous-blocs pour la vérification hiérarchique CDC. Dans les travaux futurs, nousvisons à intégrer toutes les solutions proposées dans un flot cohérent et unifié. Nousprévoyons également de traiter l’injection de métastabilité et d’explorer son potentieldans la simulation dynamique et la vérification formelle.
Source: theses.fr (ABES)
Author: Diana Kalel
Institution: Université Grenoble Alpes
Language: French
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7151936434