The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
Advanced Structural and Semi-Formal Verification Flow for Clock Domain Crossing (CDC) in Asynchronous Multiclock Systems
From OpenAlex, which stores abstracts as an
index of words and their positions: what is shown is rebuilt from that,
and reads fluently whether or not it is what the author wrote.
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.
@phdthesis{kalel2024advanced,
title = {Advanced Structural and Semi-Formal Verification Flow for Clock Domain Crossing (CDC) in Asynchronous Multiclock Systems},
author = {Diana Kalel},
year = {2024},
doi = {10.70675/f25a3455zade5z4a36z951cz32454ae1a40d},
}