Présentation invitée.Exposé invité aux Journées nationales du GDR Sécurité Informatique 2022National audienceWhen implementing cryptographic elements in hardware, various types of languages and tools can be used. Hardware description languages (HDL), such as VHDL or Verilog, and related synthesis tools allow to master low level details but require important efforts. High-level synthesis (HLS) uses "higher" level languages, such as C, and specific tools to quickly produce circuits but with a much reduced control in implementation details. HDL and HLS methods lead to different trade-offs between training effort, design/debug/optimization times, obtained performances/costs. Neither HDL nor HLS support mathematical objects and operations requir...
Field Programmable Gate Arrays (FPGA) have become vital in high-performance Digital Signal Processin...
International audienceWe report on the implementation of a certified compiler for a high-level hardw...
This thesis deals with ways to describe hardware. It presents the methods used in the synthesis of t...
Présentation invitée.Exposé invité aux Journées nationales du GDR Sécurité Informatique 2022National...
While hardware implementations allow the production of highly efficient and performance oriented des...
As the world is getting closer to the paradigm of Internet of Things, ensuring security for all the ...
Abstract—It is mainstream to describe the design of a circuit in hardware description languages such...
Designing hardware using High Level Synthesis automates parts of the digital hardware design process...
Accepted for presentation at the conference, published in the draft proceedings (without peer review...
Just as software designers use high level languages (HLL) to express the algorithms in terms of lang...
High-level synthesis (HLS) is a key component for the hardware acceleration of applications, especi...
High-level synthesis (HLS) tools have made significant progress in the past few years, improving the...
High-Level Synthesis (HLS) allows designers to create a register transfer level (RTL) description of...
High-level synthesis (HLS), which refers to the automatic compilation of software into hardware, is ...
With the advent of advanced CAD tools, people are now able to design multimillion gate chips. Genera...
Field Programmable Gate Arrays (FPGA) have become vital in high-performance Digital Signal Processin...
International audienceWe report on the implementation of a certified compiler for a high-level hardw...
This thesis deals with ways to describe hardware. It presents the methods used in the synthesis of t...
Présentation invitée.Exposé invité aux Journées nationales du GDR Sécurité Informatique 2022National...
While hardware implementations allow the production of highly efficient and performance oriented des...
As the world is getting closer to the paradigm of Internet of Things, ensuring security for all the ...
Abstract—It is mainstream to describe the design of a circuit in hardware description languages such...
Designing hardware using High Level Synthesis automates parts of the digital hardware design process...
Accepted for presentation at the conference, published in the draft proceedings (without peer review...
Just as software designers use high level languages (HLL) to express the algorithms in terms of lang...
High-level synthesis (HLS) is a key component for the hardware acceleration of applications, especi...
High-level synthesis (HLS) tools have made significant progress in the past few years, improving the...
High-Level Synthesis (HLS) allows designers to create a register transfer level (RTL) description of...
High-level synthesis (HLS), which refers to the automatic compilation of software into hardware, is ...
With the advent of advanced CAD tools, people are now able to design multimillion gate chips. Genera...
Field Programmable Gate Arrays (FPGA) have become vital in high-performance Digital Signal Processin...
International audienceWe report on the implementation of a certified compiler for a high-level hardw...
This thesis deals with ways to describe hardware. It presents the methods used in the synthesis of t...