Behavioral Assertion Support in HLS Design Flow.

Aurelien Ribon; Bertrand Le Gal; Lilian Bossuet; Dominique Dallet

Conference Papers Year : 2010

Behavioral Assertion Support in HLS Design Flow.

(1) , (1) , (2) , (1)

1
2

Aurelien Ribon

Function : Author

Laboratoire de l'intégration, du matériau au système

Bertrand Le Gal

Function : Author
PersonId : 13141
IdHAL : bertrand-le-gal
ORCID : 0000-0003-2269-8756
IdRef : 096249358

Laboratoire de l'intégration, du matériau au système

CV

Lilian Bossuet

Function : Author
PersonId : 885906

Laboratoire Hubert Curien [Saint Etienne]

Dominique Dallet

Function : Author
PersonId : 926883

Laboratoire de l'intégration, du matériau au système

Domains

Computer Science [cs] Embedded Systems

Lilian Bossuet : Connect in order to contact the contributor

https://hal-ujm.archives-ouvertes.fr/ujm-00552184

Submitted on : Wednesday, January 5, 2011-4:13:20 PM

Last modification on : Wednesday, December 28, 2022-3:50:37 AM

Dates and versions

ujm-00552184 , version 1 (05-01-2011)

Identifiers

HAL Id : ujm-00552184 , version 1

Cite

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⟩

Behavioral Assertion Support in HLS Design Flow.

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share