Behavioral Assertion Support in HLS Design Flow.

Document type :
Conference papers
Complete list of metadatas

https://hal-ujm.archives-ouvertes.fr/ujm-00552184
Contributor : Lilian Bossuet <>
Submitted on : Wednesday, January 5, 2011 - 4:13:20 PM
Last modification on : Wednesday, July 25, 2018 - 2:05:31 PM

Identifiers

  • HAL Id : ujm-00552184, version 1

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⟩

Share

Metrics

Record views

132