-
An incremental approach for hardware discrete controller synthesis
The Discrete Controller Synthesis (DCS) technique is used for automatic generation of correct-by-construction hardware controllers. For a given plant (a state-based... -
Memory optimization strategies for linear mappings and indexation-based share...
This thesis aims at developing strategies to enhance the power of sequential computation and distributed systems, particularly, it deals with sequential break down of... -
Automated compiling targetting FPGAs
This dissertation explores the algorithmic opportunities offered by the high-level synthesis of digital synchronous circuits targeting Programmable Active Memories. We... -
Optimal frequency selection in circuit design for energy minimization
Colloque avec actes et comité de lecture. internationale.
