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

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

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
Image document

Fast simulation of future 128-bit architectures

Fabien Portas-Pittet , Frédéric Pétrot
Design, Automation & Test in Europe Conference & Exhibition (DATE 2022), Mar 2022, Anvers (Virtual event), Afghanistan. pp.1131-1134, ⟨10.23919/DATE54114.2022.9774706⟩
Communication dans un congrès hal-03759696v1

Fast Cycle Accurate Simulation To Simulate Event-Driven Behavior

Richard Buchmann , Alain Greiner , Frédéric Pétrot
ICEEC 2004 - International Conference on Electrical Electronic and Computer Engineering, Sep 2004, Cairo, Egypt. pp.37-40, ⟨10.1109/ICEEC.2004.1374374⟩
Communication dans un congrès hal-01521125v1

Une gestion efficace des boucles combinatoires pour la simulation au cycle près de systèmes matériel-logiciel

Denis Hommais , Frédéric Pétrot
Colloque CAO de Circuits Intégrés et Systèmes GDR 732, May 1999, Aix-en-Provence, France. pp.266-269
Communication dans un congrès hal-01574791v1

Lightweight implementation of the POSIX threads API for an On-Chip MIPS multiprocessor with VCI interconnect

Frédéric Pétrot , Pascal Gomez , Denis Hommais
Embedded Software for SoC, Springer, pp.25-38, 2003, ⟨10.1007/0-306-48709-8_3⟩
Chapitre d'ouvrage hal-01534543v1

Efficient deep learning approach for fault detection in the semiconductor industry

Liliana Lilibeth Andrade Porras , Thomas Baumela , Frédéric Pétrot , D. Briand , Olivier Bichler , et al.
ADTC 2021 - European Nanoelectronics Applications Design & Technology Conference, Jun 2021, Grenoble, France
Communication dans un congrès hal-03421323v1
Image document

Low Power Tiny Binary Neural Network with improved accuracy in Human Recognition Systems

A. de Vita , D. Pau , L. Di Benedetto , A. Rubino , Frédéric Pétrot , et al.
Euromicro Conference on Digital System Design (DSD 2020), Aug 2020, Kranj (virtual), Slovenia. pp.309-315, ⟨10.1109/DSD51259.2020.00057⟩
Communication dans un congrès hal-03106955v1

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

F. Dubois , H. Sheibanyrad , Frédéric Pétrot , M. Bahmani
IEEE Transactions on Computers, 2013, 62 (3), pp.609-615. ⟨10.1109/TC.2011.239⟩
Article dans une revue hal-01138285v1

Simulation rapide des systèmes multiprocesseurs

Frédéric Pétrot
Architecture, hier, aujourd'hui, demain", Colloque en l'honneur de Michel Auguin, Daniel Etiemble et Bernard Goossens, Jul 2018, Toulouse, France
Communication dans un congrès hal-02132895v1

Architecture de communication à base de sérialiseur asynchrone entre circuits déposés sur des substrats de silicium empilés

Frédéric Pétrot , A. Sheibanyrad
France, Patent n° : 09/53637. 2009
Brevet hal-00578021v1