Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

229 résultats

Formal Analysis of Single Wait VHDL processes for Semantic Based Synthesis

Ludovic Jacomme , Frédéric Pétrot , Rajesh K. Bawa
12th IEEE International Conference on VLSI Design, Jan 1999, Goa, India. pp.151-156, ⟨10.1109/ICVD.1999.745140⟩
Communication dans un congrès hal-01574142v1

A Toolbox to Map System Level Communications on HW/SW Architectures

Denis Hommais , Frédéric Pétrot , Ivan Augé
12th International Workshop on Rapid System Prototyping, Jun 2001, Monterey, CA, United States. pp.77-82, ⟨10.1109/IWRSP.2001.933842⟩
Communication dans un congrès hal-01571013v1
Image document

Modular on chip multi processor for routing applications

Saifeddine Berrayana , Etienne Faure , Daniela Genius , Frédéric Pétrot
Euro-Par 2004 - 10th European Conference on Parallel computing, Aug 2004, Pise, Italy. pp.847-855, ⟨10.1007/978-3-540-27866-5_113⟩
Communication dans un congrès istex hal-01365379v1

Disydent : un environnement pour la conception de systèmes numériques synchrones

Ivan Augé , Frédéric Pétrot , Richard Buchmann , François Donnet , Pascal Gomez , et al.
SCS congrès international de Signaux Circuits et Systèmes, Mar 2004, Monastir, Tunisie. pp.72-77
Communication dans un congrès hal-01496170v1

Teaching basic computer architecture, assembly language programming, and operating system design using RISC-V

Liliana Lilibeth Andrade Porras , Mounir Benabdenbi , Olivier Muller , Frédéric Rousseau , Frédéric Pétrot
RISC V week 2019, Oct 2019, Paris, France
Communication dans un congrès hal-02614532v1

Multiprocessor System-on-Chip Prototyping Using Dynamic Binary Translation

Frédéric Pétrot , L. Michel , Cl. Deschamps
Handbook of Hardware/Software Codesign, springer, pp.565-591, 2017, 978-94-017-7266-2. ⟨10.1007/978-94-017-7267-9⟩
Chapitre d'ouvrage hal-02152482v1

Message-Oriented Devices on FPGAs

Thomas Baumela , Olivier Gruber , Olivier Muller , Frédéric Pétrot
International Symposium on Rapid System Prototyping (RSP 2018), Oct 2018, Torino, Italy. pp.8-14
Communication dans un congrès hal-02114435v1

Dynamic Binary Translation of VLIW Codes on Scalar Architectures

L. Michel , Frédéric Pétrot
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2017, 36 (5), pp.789-800. ⟨10.1109/TCAD.2016.2604294⟩
Article dans une revue hal-01570692v1
Image document

Scalable High-Performance Architecture for Convolutional Ternary Neural Networks on FPGA

Adrien Prost-Boucle , Alban Bourge , Frédéric Pétrot , Hande Alemdar , Nicholas Caldwell , et al.
Field Programmable Logic and Applications (FPL), 2017 27th International Conference on, Sep 2017, Gent, Belgium
Communication dans un congrès hal-01563763v1

Effective System Level Simulation Techniques and Cross-Layer Perspectives on Low Power Design

A. Herkersdorf , Frédéric Pétrot
Design, Automation and Test in Europe (DATE'2018), Mar 2018, Dresden, Germany
Communication dans un congrès hal-01922354v1

Deterministic reversible MPSoC debugger based on virtual platform execution traces

M. Cunha , N. Fournel , Frédéric Pétrot
Design Automation for Embedded Systems, 2016, 20 (1), pp.47-63. ⟨10.1007/s10617-015-9167-8⟩
Article dans une revue hal-01332728v1

Spidergon STNoC design flow

F. Dubois , J. Cano , M. Coppola , J. Flich , Frédéric Pétrot
IEEE/ACM International Symposium on Networks on Chip (NoCS'11), May 2011, Pittsburg, Pa., United States. pp.267 - 268
Communication dans un congrès hal-00680456v1

Flexible hardware/software interface modeling using high level service based component model

L. Kriaa , A. Sarmento , W. Youssef , A. Bouchhima , Frédéric Pétrot , et al.
The 13th Workshop on Synthesis And System Integration of Mixed Information technologies (SASIMI'06), April 3-4, 2006, Nagoya, Japan. pp.85-91
Communication dans un congrès hal-00080922v1

On cache coherency and memory consistency issues in NoC based shared memory multiprocessor SoC architectures

Frédéric Pétrot , Alain Greiner , Pascal Gomez
9th EUROMICRO Conference on Digital System Design (DSD'06), Aug 2006, Dubrovnik, Croatia. pp.53-60, ⟨10.1109/DSD.2006.73⟩
Communication dans un congrès hal-00143399v1

Service Dependency Graph for HW/SW Interfaces Modeling: The Motion-JPEG Case Study

H. Shen , Frédéric Pétrot
7th International Conference on ASIC (Asicon'07), Oct 2007, Guilin, China. pp.930-933, ⟨10.1109/ICASIC.2007.4415784⟩
Communication dans un congrès hal-00222941v1

Networks-In-Package: Performances management and design methodology

A. Kouadri-Mostefaoui , B. Senouci , Frédéric Pétrot
IEEE International Symposium on VLSI Design, Automation and Test (VLSI-DAT'08), Apr 2008, Hsinchu, Taiwan. pp.140-143, ⟨10.1109/VDAT.2008.4542432⟩
Communication dans un congrès hal-00349052v1

A General Framework for Average-Case Performance Analysis of Shared Resources

S. Foroutan , B. Akesson , G. Goossens , Frédéric Pétrot
Euromicro Conference on Digital System Design (DSD'13), Sep 2013, Santander, Spain. pp.78-85, ⟨10.1109/DSD.2013.116⟩
Communication dans un congrès hal-01058906v1

A system-level overview and comparison of three High-Speed Serial Links: USB 3.0, PCI Express 2.0 and LLI 1.0

J. Saadé , Frédéric Pétrot , A. Picco , J. Huloux , A. Goulahsen
Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS), Apr 2013, Karlovy Vary, Czech Republic. pp.147-152
Communication dans un congrès hal-01058896v1

A Deadlock-Free Distributed Routing Algorithm for Vertically Partially Connected 3D-NoCs

Frédéric Pétrot
12th International Forum on Embedded MPSoC and Multicore, Jul 2012, Quebec, Canada
Communication dans un congrès hal-01413175v1

Fast Memory Consistency Analysis using Non-Intrusive Simulation Traces

D. Hedde , Frédéric Pétrot
The 2011 System, Software, SoC and Silicon Debug Conference (S4D), Sep 2011, Munich, Germany. pp.17-22
Communication dans un congrès hal-00671512v1

3D Integration for NoC-based SoC Architectures

A. Sheibanyrad , Frédéric Pétrot , A. Jantsch
Springer, pp.278, 2011, ⟨10.1007/978-1-4419-7618-5⟩
Ouvrages hal-00564660v1

Energy Estimations in High Level Cycle-Accurate Descriptions of Embedded Systems

Garcia Ana-Belén Abril , Jean Gobert , Thomas Dombek , Habib Mehrez , Frédéric Pétrot
The 5th IEEE Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS'2002), Apr 2002, Brno, Czech Republic. pp.228-235
Communication dans un congrès hal-01544286v1

Lightweight Implementation of the POSIX Threads API for an On-Chip MIPS Multiprocessor with VCI Interconnect

Frédéric Pétrot , Pascal Gomez
Design Automation and Test in Europe Conference (DATE'2003) Embedded Software Forum, Mar 2003, Munich, Germany. pp.51-56, ⟨10.1109/DATE.2003.1253805⟩
Communication dans un congrès hal-01529838v1

Formal Extraction of Memorizing Elements for Sequential VHDL Synthesis

Ludovic Jacomme , Frédéric Pétrot , Rajesh K. Bawa
IEEE/EUROMICRO'98 International Conference on Digital Sytems, Aug 1998, Vasteras, Sweden. pp.317-320, ⟨10.1109/EURMIC.1998.711818⟩
Communication dans un congrès hal-01618351v1

Minimisation de la taille des buffers entre tâches communicantes pour la conception de composants embarqués

Emmanuelle Encrenaz , Alix Munier , Frédéric Pétrot
4ème Congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2002), Feb 2002, Paris, France. pp.230
Communication dans un congrès hal-01562012v1

Energy Estimation and Optimisation of Embedded Systems using Cycle Accurate Simulation

Ana Belen Abril Garcia , Habib Mehrez , Frédéric Pétrot , Jean Gobert , Carolina Miro
FTFC 2005 - 5èmes Journées d'études Faible Tension Faible Consommation, May 2005, Paris, France. pp.29-32
Communication dans un congrès hal-01418349v1

Limitations of Logarithmic Encodings for Low Power Finite State Machines

Julien Dunoyer , Frédéric Pétrot , Ludovic Jacomme
4th IEEE International Conference on Electronics Circuits and Systems (ICECS'97), Dec 1997, Cairo, Egypt. pp.522-528
Communication dans un congrès hal-01627840v1

Périphériques Orientés Message sur FPGA

Thomas Baumela , Olivier Gruber , Frédéric Pétrot
Conférence d’informatique en Parallélisme, Architecture et Système (COMPAS 2018), Jul 2018, Toulouse, France. pp.1-9
Communication dans un congrès hal-02132889v1

High-Throughput Ternary CNN on FPGA: Low Level Optimizations and Compression

Frédéric Pétrot , Adrien Prost-Boucle , Alban Bourge
18th International Forum on MPSoC (MPSoC'2018), Jul 2018, Snowbird, UTAH, United States
Communication dans un congrès hal-01922338v1

A Distributed NUCA Architecture Using an Efficient NoC Multicasting Support

Hela Bel Hadj Amor , Abbas Sheibanyrad , Frédéric Pétrot
Euromicro Conference on Digital System Design (DSD 2017), Aug 2017, Vienne, Austria. pp.184-191, ⟨10.1109/DSD.2017.34⟩
Communication dans un congrès hal-01701072v1