Bruno Ferres

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 6

Top Topics

Satisfiability Problem

Relational Data

Design Space Exploration

Top Venues

Publications

Oussama Oulkaid, Bruno Ferres, Matthieu Moy, Pascal Raymond, Mehdi Khosravian, Ludovic Henrio, Gabriel Radanne
A Transistor Level Relational Semantics for Electrical Rule Checking by SMT Solving. DATE (2024)
Bruno Ferres, Olivier Muller, Frédéric Rousseau
A Chisel Framework for Flexible Design Space Exploration through a Functional Approach. CoRR (2023)
Bruno Ferres, Olivier Muller, Frédéric Rousseau
A Chisel Framework for Flexible Design Space Exploration through a Functional Approach. ACM Trans. Design Autom. Electr. Syst. 28 (4) (2023)
Bruno Ferres, O. Oulkaid, Ludovic Henrio, Mehdi Khosravian Ghadikolaei, Matthieu Moy, Gabriel Radanne, Pascal Raymond
Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory. DATE (2023)
Bruno Ferres, Olivier Muller, Frédéric Rousseau
Integrating Quick Resource Estimators in Hardware Construction Framework for Design Space Exploration. RSP (2021)
Bruno Ferres, Olivier Muller, Frédéric Rousseau
Chisel Usecase: Designing General Matrix Multiply for FPGA. ARC (2020)