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-02513256v1  Communication dans un congrès
Jean-Christophe Le LannHannah BadierFlorent Kermarrec. Towards a Hardware DSL Ecosystem: RubyRTL and Friends
OSDA'2020 Open Source Hardware Design, colocated with DATE'20, Mar 2020, Grenoble, France
...
hal-02088044v1  Communication dans un congrès
Florent KermarrecSébastien BourdeauducqHannah BadierJean-Christophe Le Lann. LiteX: an open-source SoC builder and library based on Migen Python DSL
OSDA 2019, colocated with DATE 2019 Design Automation and Test in Europe, Mar 2019, Florence, Italy
...
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⟩