Accéder directement au contenu Accéder directement à la navigation


hal-00944548v1  Communication dans un congrès
Mohamed Ben HammoudaPhilippe CoussyLoïc Lagadec. A Design Approach to Automatically Synthesize ANSI-C Assertions during High-Level Synthesis of Hardware Accelerators
ISCAS 2014 - IEEE International Symposium on Circuits and Systems, May 2014, Melbourne, Australia. pp.XX
hal-01009572v1  Communication dans un congrès
Mohamed Ben HammoudaPhilippe CoussyLoïc Lagadec. Design Approach to Automatically Synthesize ANSI-C Assertions during High-Level Synthesis of Hardware Accelerators
ICSAS 2014 - International symposium on circuits and systems, Jun 2014, Melbourne, Australia
...
hal-02052433v1  Communication dans un congrès
Hannah BadierJean-Christophe Le LannPhilippe CoussyGogniat Guy. Transient Key-based Obfuscation for HLS in an Untrusted Cloud Environment
2019 Design, Automation & Test in Europe Conference & Exhibition, DATE 2019, Mar 2019, Florence, Italy
hal-01405531v1  Article dans une revue
Mohamed Ben HammoudaPhilippe CoussyLoïc Lagadec. A Unified Design Flow to Automatically Generate On-Chip Monitors during High-Level Synthesis of Hardware Accelerators
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, IEEE, 2017, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 36 (3), pp.384-397. ⟨10.1109/TCAD.2016.2587278⟩