Behavioral Assertion Support in HLS Design Flow.

Aurelien Ribon 1 Bertrand Le Gal 1 Lilian Bossuet 2 Dominique Dallet 1
1 IMS - Laboratoire de l'intégration, du matériau au système
2 LHC - Laboratoire Hubert Curien [Saint Etienne]
Type de document :
Communication dans un congrès
System, Software, SoC and Silicon Debug Conference, SD4 2010, Sep 2010, Southampton, United Kingdom. pp.1, 2010
Liste complète des métadonnées
https://hal-ujm.archives-ouvertes.fr/ujm-00552184
Contributeur : Lilian Bossuet <>
Soumis le : mercredi 5 janvier 2011 - 16:13:20
Dernière modification le : mercredi 25 juillet 2018 - 14:05:31

Identifiants

  • HAL Id : ujm-00552184, version 1

Collections

UNIV-ST-ETIENNE | IMS-BORDEAUX | LAHC | IMS-BORDEAUX-FUSION | IOGS | PARISTECH

Citation

Aurelien Ribon, Bertrand Le Gal, Lilian Bossuet, Dominique Dallet. Behavioral Assertion Support in HLS Design Flow.. System, Software, SoC and Silicon Debug Conference, SD4 2010, Sep 2010, Southampton, United Kingdom. pp.1, 2010. 〈ujm-00552184〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

122

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD