Sign in
Bruno Ferres
ORCID
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 5
Top Topics
Satisfiability Problem
Integrated Circuit
Rule Learning
Load Balancing
Top Venues
ARC
CoRR
RSP
ACM Trans. Design Autom. Electr. Syst.
</>
Publications
</>
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)