Bruno FERRES

10
Documents

Publications

Publications

Communication and Shared Memory Efficient Mapping Techniques of Real-Time DAGs upon Clustered Multicore Platforms

Matheus Schuh , Claire Maiza , Pascal Raymond , Bruno Ferres , Joël Goossens et al.
33rd International Conference on Real-Time Networks and Systems, Nov 2025, Pise, Italy
Communication dans un congrès hal-05289989 v1
Image document

A Transistor Level Relational Semantics for Electrical Rule Checking by SMT Solving

Oussama Oulkaid , Bruno Ferres , Matthieu Moy , Pascal Raymond , Mehdi Khosravian et al.
Design, Automation and Test in Europe Conference, Mar 2024, Valencia, Spain. pp.1-6, ⟨10.23919/DATE58400.2024.10546537⟩
Communication dans un congrès hal-04527225 v1
Image document

Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory

Bruno Ferres , Oussama Oulkaid , Ludovic Henrio , M. Khosravian G. , Matthieu Moy et al.
DATE 2023 - Design, Automation and Test in Europe Conference, Apr 2023, Anvers (Antwerpen), Belgium. pp.1-2, ⟨10.23919/DATE56975.2023.10137147⟩
Communication dans un congrès hal-04007446 v1
Image document

Integrating Quick Resource Estimators in Hardware Construction Framework for Design Space Exploration

Bruno Ferres , Olivier Muller , Frédéric Rousseau
2021 IEEE International Workshop on Rapid System Prototyping (RSP), Oct 2021, Paris, France. pp.64-70, ⟨10.1109/RSP53691.2021.9806276⟩
Communication dans un congrès hal-03724027 v1
Image document

Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory

Bruno Ferres , Oussama Oulkaid , Ludovic Henrio , Mehdi Khosravian , Matthieu Moy et al.
Colloque du GDR SoC2, Jun 2023, Lyon, France
Poster de conférence hal-04750092 v1
Image document

Chisel Usecase: Designing General Matrix Multiply for FPGA

Bruno Ferres , Olivier Muller , Frédéric Rousseau
Fernando Rincón, Jesús Barba, Hayden K. H. So, Pedro Diniz, Julián Caba. Applied Reconfigurable Computing. Architectures, Tools, and Applications (ARC 2020), Apr 2020, Toledo, Spain. Springer, Applied Reconfigurable Computing. Architectures, Tools, and Applications 16th International Symposium, ARC 2020, Toledo, Spain, April 1–3, 2020, Proceedings, pp.61-72, Lecture Notes in Computer Science. ⟨10.1007/978-3-030-44534-8_5⟩
Poster de conférence hal-03082750 v1
Image document

Leveraging Hardware Construction Languages for Flexible Design Space Exploration on FPGA

Bruno Ferres
Micro and nanotechnologies/Microelectronics. Université Grenoble Alpes [2020-..], 2022. English. ⟨NNT : 2022GRALT025⟩
Thèse tel-03709710 v1