| Integrating quick resource estimators in hardware construction framework for design space exploration B Ferres, O Muller, F Rousseau 2021 IEEE International Workshop on Rapid System Prototyping (RSP), 64-70, 2021 | 3 | 2021 |
| Chisel Usecase: Designing General Matrix Multiply for FPGA B Ferres, O Muller, F Rousseau Applied Reconfigurable Computing. Architectures, Tools, and Applications …, 2020 | 3 | 2020 |
| Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory B Ferres, O Oulkaid, L Henrio, M Moy, G Radanne, P Raymond 2023 Design, Automation & Test in Europe Conference & Exhibition (DATE), 1-2, 2023 | 1 | 2023 |
| A Transistor Level Relational Semantics for Electrical Rule Checking by SMT Solving O Oulkaid, B Ferres, M Moy, P Raymond, M Khosravian, L Henrio, ... Design, Automation and Test in Europe Conference, 2024 | | 2024 |
| A Chisel Framework for Flexible Design Space Exploration through a Functional Approach B Ferres, O Muller, F Rousseau ACM Transactions on Design Automation of Electronic Systems 28 (4), 1-31, 2023 | | 2023 |
| Leveraging Hardware Construction Languages for Flexible Design Space Exploration on FPGA B Ferres Université Grenoble Alpes, 2022 | | 2022 |
| Utilisation de langages de construction matérielle pour une exploration flexible des espaces de conception sur FPGA B Ferres | | 2022 |
Frederic Rousseauprofessor in computer science, Université Grenoble-AlpesAdresse e-mail validée de univ-grenoble-alpes.fr
