 |
Université Jean Monnet – Saint-Etienne |  |
Conference papers
Behavioral Assertion Support in HLS Design Flow.
Aurelien Ribon 1
Author
Bertrand Le Gal 1
Author IdHAL : bertrand-le-gal ORCID : https://orcid.org/0000-0003-2269-8756
Lilian Bossuet 2
Author
Dominique Dallet 1
Author
1
IMS - Laboratoire de l'intégration, du matériau au système (33405 TALENCE CEDEX - France)
- Université Sciences et Technologies - Bordeaux 1 (351 cours de la Libération - 33405 Talence cedex - France)
- Institut Polytechnique de Bordeaux (146, rue Léo Saignat, 33076 Bordeaux - France)
- CNRS - Centre National de la Recherche Scientifique : UMR5218 (France)
2
LHC - Laboratoire Hubert Curien [Saint Etienne] (18 rue du Professeur Lauras 42000 SAINT-ETIENNE - France)
- IOGS - Institut d'Optique Graduate School (2 avenue Augustin Fresnel, 91127 Palaiseau Cedex - France)
- UJM - Université Jean Monnet [Saint-Étienne] (10 rue Tréfilerie - 42100 Saint-Étienne - France)
- CNRS - Centre National de la Recherche Scientifique : UMR5516 (France)
Document type :
Conference papers
Domain :
Complete list of metadata
https://hal-ujm.archives-ouvertes.fr/ujm-00552184
Contributor : Lilian Bossuet <>
Submitted on : Wednesday, January 5, 2011 - 4:13:20 PM
Last modification on : Monday, January 13, 2020 - 5:46:03 PM
Contributor : Lilian Bossuet <>
Submitted on : Wednesday, January 5, 2011 - 4:13:20 PM
Last modification on : Monday, January 13, 2020 - 5:46:03 PM
Identifiers
- HAL Id : ujm-00552184, version 1
Collections
UNIV-ST-ETIENNE | CNRS | IMS-BORDEAUX | LAHC | IMS-BORDEAUX-FUSION | IOGS | PARISTECH | UDL
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. ⟨ujm-00552184⟩
Metrics
Record views