Gestion des Assertions Comportementales dans un Flot de Synthèse de Haut-Niveau

Résumé : Abstract—L'augmentation de la complexité des Systèmes sur Silicium (SoC) fait de leur conception un challenge. Les outils d'aide à la conception, tels ceux de synthèse de haut-niveau (HLS) permettent une simplification de la conception et réduisent le "time-to-market". La description algorithmique d'applications incluant des assertions permet une détection anticipée d'erreurs résiduelles. Toutefois, ces assertions sont ignorées par les processus de synthèse HLS. Les travaux présentés dans cet article visent la transformation automatique des assertions du modèle algorithmique (écrit en C++, MatLab, etc.) en moniteurs de niveau RTL. Ces moniteurs, générés en VHDL et volontairement non synthétisables, permettent une simulation plus fiable de l'architecture matérielle ainsi qu'une vérification formelle de l'ensemble: vérification à la simulation de le convergence entre les hypothèses sur les entrées / sorties et les calculs effectués, vis-à-vis de la réalité du système hôte.
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00567416
Contributor : Dominique Dallet <>
Submitted on : Monday, February 21, 2011 - 11:00:24 AM
Last modification on : Thursday, January 11, 2018 - 6:21:08 AM

Identifiers

  • HAL Id : hal-00567416, version 1

Citation

Aurelien Ribon, Bertrand Le Gal, Lilian Bossuet, Dominique Dallet. Gestion des Assertions Comportementales dans un Flot de Synthèse de Haut-Niveau. GDR SocSiP, Jun 2010, Paris, France. ⟨hal-00567416⟩

Share

Metrics

Record views

71