Génération de moniteurs matériels dans un processus de synthèse de haut-niveau

Résumé : L'accroissement continu de la complexité des System-On-Chip (SOC) fait de leur conception un processus de plus en plus difficile à maîtriser. La synthèse de haut-niveau permet d'en améliorer le rendement, que ce soit pour la spécification, l'implémentation ou la vérification. Les assertions autorisent une détection anticipée d'erreurs de conception résiduelles à tous les niveaux, mais restent cependant ignorées des processus de synthèse de haut-niveau. Les travaux présentés dans ce document visent d'une part à traduire une assertion d'une spécification de haut-niveau en son équivalent dans la description matérielle de l'architecture. D'autre part, un circuit moniteur synthétisable est généré à partir de cette assertion. L'effort de vérification est donc aidé statiquement pendant la conception, et dynamiquement pendant la simulation ou l'émulation du circuit.
Complete list of metadatas

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

Identifiers

  • HAL Id : hal-00567435, version 1

Citation

Aurelien Ribon, Bertrand Le Gal, Dominique Dallet, Lilian Bossuet. Génération de moniteurs matériels dans un processus de synthèse de haut-niveau. JNRDM 2010, Jun 2010, Montpelleir, France. pp.1-4. ⟨hal-00567435⟩

Share

Metrics

Record views

296