Behavioral Assertion Support in HLS Design Flow. - Archive ouverte HAL Access content directly
Conference Papers Year : 2010

Behavioral Assertion Support in HLS Design Flow.

(1) , (1) , (2) , (1)
1
2
Not file

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⟩
86 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More