Search - Archive ouverte HAL Access content directly

Filter your results

222 Results

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 et al.
Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS), Apr 2013, Karlovy Vary, Czech Republic. pp.147-152
Conference papers hal-01058896v1

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⟩
Conference papers hal-01058906v1

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
Conference papers hal-01496170v1
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
Conference papers hal-01563763v1

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
Conference papers hal-01413175v1

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⟩
Conference papers hal-01574142v1

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⟩
Journal articles hal-01332728v1

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
Conference papers hal-01922354v1

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
Conference papers hal-00080922v1

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⟩
Conference papers hal-00349052v1

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⟩
Books hal-00564660v1

Spidergon STNoC design flow

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

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⟩
Book sections hal-02152482v1

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 et al.
RISC V week 2019, Oct 2019, Paris, France
Conference papers hal-02614532v1
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⟩
Conference papers istex hal-01365379v1

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⟩
Conference papers 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⟩
Conference papers hal-00222941v1

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
Conference papers hal-02114435v1

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
Conference papers hal-00671512v1

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⟩
Journal articles hal-01570692v1

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⟩
Conference papers hal-01571013v1

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
Conference papers hal-02132889v1

Synthesis of communication mechanisms for multi-tile systemsbased on heterogeneous Multi-processor System-on-Chips

A. Chagoya-Garzon , X. Guérin , Frédéric Rousseau , Frédéric Pétrot , D. Rossetti et al.
20th IEEE/IFIP International Symposium on Rapid System Prototyping(RSP'09), Jun 2009, Paris, France. pp.48-54, ⟨10.1109/RSP.2009.12⟩
Conference papers hal-00419036v1

A System Framework for the Design of Embedded Software Targeting Heterogeneous Multi-Core SoCs

X. Guérin , Frédéric Pétrot
20th IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP'09), Jul 2009, Boston (Ma), United States. pp.153-160, ⟨10.1109/ASAP.2009.9⟩
Conference papers hal-00419041v1

Composant de traitement d'un signal numérique, dispositif de modulation et/ou de démodulation multiporteuse, procédé de modulation et/ou de démodulation et programme d'ordinateur correspondants

D. Callonnec , Frédéric Pétrot , C. Sahnine , Nacer-Eddine Zergainoh
France, N° de brevet: WO/2008/145915 / PCT/FR2008/050703. 2008
Patents hal-00570292v1

Automatic instrumentation of embedded software for high level hardware/software co-simulation

A. Bouchhima , P. Gerin , Frédéric Pétrot
Asia and South Pacific Design Automation Conference (ASP-DAC'09), Jan 2009, Yokohama, France. pp.546-551, ⟨10.1109/ASPDAC.2009.4796537⟩
Conference papers hal-00418912v1

On MPSoC Software Execution at the Transaction Level

Frédéric Pétrot , M. Gligor , M.M. Hamayun , H. Shen , N. Fournel et al.
IEEE Design & Test, 2011, 28 (3), pp.32-43. ⟨10.1109/MDT.2010.118⟩
Journal articles hal-00680474v1

Modélisation des interfaces matériel/logiciel

Frédéric Pétrot , P. Gerin , A. Chureau , H. Shen , A. Bouchhima et al.
1ère école d'hiver francophone sur les systèmes hétérogènes, Jan 2007, Villard-de-Lans, France
Conference papers hal-00549694v1

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⟩
Conference papers hal-01618351v1

Loop aware IR-level annotation framework for performance estimation in native simulation

O. Matoussi , Frédéric Pétrot
22nd Asia and South Pacific Design Automation Conference (ASPDAC 2017), Jan 2017, Chiba, Japan. pp.220-225
Conference papers hal-01522712v1