Pipeline Automation Framework for Reusable High-throughput Network Applications on FPGA.

Frédéric Pétrot http://tima.imag.fr/sls/people/petrot/ https://scholar.google.com/citations?user=gNQg1R4AAAAJ https://github.com/fpetrot https://orcid.org/0000-0003-0624-7373 https://www.wikidata.org/entity/Q131110999 Grenoble Institute of Technology, France

Jean Bruant Pierre-Henri Horrein Olivier Muller Frédéric Pétrot Pipeline Automation Framework for Reusable High-throughput Network Applications on FPGA. 2026 January abs/2601.15151 CoRR https://doi.org/10.48550/arXiv.2601.15151 db/journals/corr/corr2601.html#abs-2601-15151 streams/journals/corr

Davy Million César Fuguet Adrian Evans Rim El Cheikh Alireza Monemi Jonathan Balkind Frédéric Pétrot Depth-First: A Deterministic and Scalable NoC Routing Protocol for 3.5D Packaged Architectures. 546-559 2025 December 15 IEEE J. Emerg. Sel. Topics Circuits Syst. 4 https://doi.org/10.1109/JETCAS.2025.3590106 db/journals/esticas/esticas15.html#MillionFECMBP25 streams/journals/esticas

Ana Pinzari Thomas Baumela Liliana Andrade Maxime Martin Marcello Coppola Frédéric Pétrot Accurate and energy efficient ad-hoc neural network for wafer map classification. 2863-2880 2025 April 36 J. Intell. Manuf. 4 https://doi.org/10.1007/s10845-024-02390-7 db/journals/jim/jim36.html#PinzariBAMCP25 streams/journals/jim

Chandana S. Deshpande Arthur Perais Frédéric Pétrot Address/Data Instruction Steering in Clustered General Purpose Processors. 116:1-116:24 2025 September 22 ACM Trans. Archit. Code Optim. 3 https://doi.org/10.1145/3744908 db/journals/taco/taco22.html#DeshpandePP25 streams/journals/taco

Frédéric Pétrot Experimental Software and Hardware Evaluation of Ad-Hoc Constant Division Routines. 69-72 2025 ARITH https://doi.org/10.1109/ARITH64983.2025.00020 conf/arith/2025 db/conf/arith/arith2025.html#Petrot25 Eduardo Tomasi César Fuguet Christian Fabre Frédéric Pétrot Hardware-Software Co-Design for Supporting Shared Distributed Virtual Memory. 58-61 2025 CF (Companion) https://doi.org/10.1145/3706594.3726976 conf/cf/2025c db/conf/cf/cf2025c.html#TomasiFFP25 Eduardo Tomasi César Fuguet Christian Fabre Frédéric Pétrot HPC Workload Analysis Using Distributed Cross-ISA Binary Instrumentation. 144-149 2025 DCIS https://doi.org/10.1109/DCIS67520.2025.11281913 conf/dcis/2025 db/conf/dcis/dcis2025.html#TomasiFFP25 streams/conf/dcis Frédéric Pétrot César Fuguet On the Hardware Implementation of Lala's 64-bit SEcDED Codes. 1-4 2025 DFT https://doi.org/10.1109/DFT66274.2025.11257516 conf/dft/2025 db/conf/dft/dft2025.html#PetrotF25 streams/conf/dft Pierre Ravenel Arthur Perais Benoît Dupont de Dinechin Frédéric Pétrot Architecting Value Prediction around In-Order Execution. 72-84 2025 HPCA https://doi.org/10.1109/HPCA61900.2025.00017 conf/hpca/2025 db/conf/hpca/hpca2025.html#RavenelPDP25 Eduardo Tomasi César Fuguet Christian Fabre Frédéric Pétrot Page size exploration for RISC-V systems: the case for HPC. 49-55 2024 RSP https://doi.org/10.1109/RSP64122.2024.10870951 conf/rsp/2024 db/conf/rsp/rsp2024.html#TomasiFFP24

Chandana S. Deshpande Arthur Perais Frédéric Pétrot Toward Practical 128-Bit General Purpose Microarchitectures. 81-84 2023 July - December 22 IEEE Comput. Archit. Lett. 2 https://doi.org/10.1109/LCA.2023.3287762 db/journals/cal/cal22.html#DeshpandePP23

Marie Badaroux Julie Dumas Frédéric Pétrot Fast Instruction Cache Simulation is Trickier than You Think. 48-53 2023 DroneSE/RAPIDO@HiPEAC https://doi.org/10.1145/3579170.3579261 https://www.wikidata.org/entity/Q131111000 conf/hipeac/2023dronese db/conf/hipeac/dronese2023.html#BadarouxDP23 Nathan Bain Roberto Guizzetti Emilien Taly Ali Oudrhiri Bruno Paille Pascal Urard Frédéric Pétrot Quantization Modes for Neural Network Inference: ASIC Implementation Trade-offs. 1-8 2023 IJCNN https://doi.org/10.1109/IJCNN54540.2023.10191784 conf/ijcnn/2023 db/conf/ijcnn/ijcnn2023.html#BainGTOPUP23

Jean Bruant Pierre-Henri Horrein Olivier Muller Tristan Groléat Frédéric Pétrot Toward Agile Hardware Designs With Chisel: A Network Use Case. 77-84 2022 39 IEEE Des. Test 1 https://doi.org/10.1109/MDAT.2021.3063339 db/journals/dt/dt39.html#BruantHMGP22

Maxime Christ Florent de Dinechin Frédéric Pétrot Low-precision logarithmic arithmetic for neural network accelerators. 72-79 2022 ASAP https://doi.org/10.1109/ASAP54787.2022.00021 conf/asap/2022 db/conf/asap/asap2022.html#ChristDP22 Fabien Portas Frédéric Pétrot Fast simulation of future 128-bit architectures. 1131-1134 2022 DATE https://doi.org/10.23919/DATE54114.2022.9774706 conf/date/2022 db/conf/date/date2022.html#PortasP22 Arthur Vianès Frédéric Pétrot Frédéric Rousseau 0001 A Case for Second-Level Software Cache Coherency on Many-Core Accelerators. 29-35 2022 RSP https://doi.org/10.1109/RSP57251.2022.10038999 conf/rsp/2022 db/conf/rsp/rsp2022.html#VianesPR22

Antonio De Vita Danilo Pau Luigi Di Benedetto Alfredo Rubino Frédéric Pétrot Gian Domenico Licciardo Highly-accurate binary tiny neural network for low-power human activity recognition. 104371 2021 November 87 Microprocess. Microsystems https://doi.org/10.1016/j.micpro.2021.104371 db/journals/mam/mam87.html#VitaPBRPL21

Breytner Fernández-Mesa Liliana Andrade Frédéric Pétrot Synchronization of Continuous Time and Discrete Events Simulation in SystemC. 1450-1463 2021 40 IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 7 https://doi.org/10.1109/TCAD.2020.3019204 db/journals/tcad/tcad40.html#Fernandez-MesaA21

Breytner Joseph Fernández-Mesa Liliana Andrade Frédéric Pétrot Simulation of Ideally Switched Circuits in SystemC. 23-28 2021 ASP-DAC https://doi.org/10.1145/3394885.3431417 https://www.wikidata.org/entity/Q131122086 conf/aspdac/2021 db/conf/aspdac/aspdac2021.html#Fernandez-MesaA21 Marie Badaroux Frédéric Pétrot Arbitrary and Variable Precision Floating-Point Arithmetic Support in Dynamic Binary Translation. 325-330 2021 ASP-DAC https://doi.org/10.1145/3394885.3431416 https://www.wikidata.org/entity/Q131112049 conf/aspdac/2021 db/conf/aspdac/aspdac2021.html#BadarouxP21 Tiago Trevisan Jost Yves Durand Christian Fabre Albert Cohen 0001 Frédéric Pétrot Seamless Compiler Integration of Variable Precision Floating-Point Arithmetic. 65-76 2021 CGO https://doi.org/10.1109/CGO51591.2021.9370331 https://www.wikidata.org/entity/Q130826096 conf/cgo/2021 db/conf/cgo/cgo2021.html#JostDF0P21 Marie Badaroux Saverio Miroddi Frédéric Pétrot To Pin or Not to Pin: Asserting the Scalability of QEMU Parallel Implementation. 238-245 2021 DSD https://doi.org/10.1109/DSD53832.2021.00045 conf/dsd/2021 db/conf/dsd/dsd2021.html#BadarouxMP21 Louis Bonicel Roland Bohrer Benoit Leprettre Frédéric Pétrot Frédéric Rousseau 0001 Component Based Framework for Designing and Validating Asynchronous Algorithms for Electrical Measurement and Protection. 505-510 2021 ICPS https://doi.org/10.1109/ICPS49255.2021.9468117 conf/icphys/2021 db/conf/icphys/icps2021.html#BonicelBLPR21 Tiago T. Jost Yves Durand Christian Fabre Albert Cohen 0001 Frédéric Pétrot VP Float: First Class Treatment for Variable Precision Floating Point Arithmetic. 355-356 2020 PACT https://doi.org/10.1145/3410463.3414660 conf/IEEEpact/2020 db/conf/IEEEpact/pact2020.html#JostDF0P20 Breytner Fernández-Mesa Liliana Andrade Frédéric Pétrot Accurate and Efficient Continuous Time and Discrete Events Simulation in SystemC. 370-375 2020 DATE https://doi.org/10.23919/DATE48585.2020.9116300 conf/date/2020 db/conf/date/date2020.html#Fernandez-MesaA20 Antonio De Vita Danilo Pau Luigi Di Benedetto Alfredo Rubino Frédéric Pétrot Gian Domenico Licciardo Low Power Tiny Binary Neural Network with improved accuracy in Human Recognition Systems. 309-315 2020 DSD https://doi.org/10.1109/DSD51259.2020.00057 conf/dsd/2020 db/conf/dsd/dsd2020.html#VitaPBRPL20 Jean Bruant Pierre-Henri Horrein Olivier Muller Tristan Groléat Frédéric Pétrot (System)Verilog to Chisel Translation for Faster Hardware Design. 1-7 2020 RSP https://doi.org/10.1109/RSP51120.2020.9244852 conf/rsp/2020 db/conf/rsp/rsp2020.html#BruantHMGP20

Omayma Matoussi Frédéric Pétrot Loop aware CFG matching strategy for accurate performance estimation in IR-level native simulation. 444-454 2019 65 Integr. https://doi.org/10.1016/j.vlsi.2018.02.001 db/journals/integration/integration65.html#MatoussiP19

Olivier Muller Adrien Prost-Boucle Alban Bourge Frédéric Pétrot Efficient Decompression of Binary Encoded Balanced Ternary Sequences. 1962-1966 2019 27 IEEE Trans. Very Large Scale Integr. Syst. 8 https://doi.org/10.1109/TVLSI.2019.2906678 db/journals/tvlsi/tvlsi27.html#MullerPBP19

Breytner Fernández-Mesa Liliana Andrade Frédéric Pétrot Electronic System Level Design of Heterogeneous Systems: a Motor Speed Control System Case Study. 1-4 2019 NEWCAS https://doi.org/10.1109/NEWCAS44328.2019.8961289 conf/newcas/2019 db/conf/newcas/newcas2019.html#Fernandez-MesaA19 Louis Bonicel Roland Bohrer Benoit Leprettre Frédéric Rousseau 0001 Frédéric Pétrot Multi-Triggered Embedded Software Code Generation for Electrical Metering and Protection Applications. 1-7 2019 RSP https://doi.org/10.1145/3339985.3358490 https://www.wikidata.org/entity/Q130849556 conf/rsp/2019 db/conf/rsp/rsp2019.html#BonicelBLRP19

Adrien Prost-Boucle Alban Bourge Frédéric Pétrot High-Efficiency Convolutional Ternary Neural Networks with Custom Adder Trees and Weight Compression. 15:1-15:24 2018 11 ACM Trans. Reconfigurable Technol. Syst. 3 https://doi.org/10.1145/3270764 https://www.wikidata.org/entity/Q111519425 db/journals/trets/trets11.html#Prost-BoucleBP18

Julie Dumas Eric Guthmuller Frédéric Pétrot Dynamic Coherent Cluster: A Scalable Sharing Set Management Approach. 1-8 2018 ASAP https://doi.org/10.1109/ASAP.2018.8445107 https://doi.ieeecomputersociety.org/10.1109/ASAP.2018.8445107 conf/asap/2018 db/conf/asap/asap2018.html#DumasGP18 Omayma Matoussi Frédéric Pétrot A mapping approach between IR and binary CFGs dealing with aggressive compiler optimizations for performance estimation. 452-457 2018 ASP-DAC https://doi.org/10.1109/ASPDAC.2018.8297365 http://dl.acm.org/citation.cfm?id=3201717 conf/aspdac/2018 db/conf/aspdac/aspdac2018.html#MatoussiP18 Liliana Andrade Adrien Prost-Boucle Frédéric Pétrot Overview of the state of the art in embedded machine learning. 1033-1038 2018 DATE https://doi.org/10.23919/DATE.2018.8342164 conf/date/2018 db/conf/date/date2018.html#AndradePP18 Thomas Baumela Olivier Gruber Olivier Muller Frédéric Pétrot Message-Oriented Devices on FPGAs. 8-14 2018 RSP https://doi.org/10.1109/RSP.2018.8631987 conf/rsp/2018 db/conf/rsp/rsp2018.html#BaumelaGMP18

Pascal Vivet Yvain Thonnart Romain Lemaire Cristiano Santos Edith Beigné Christian Bernard Florian Darve Didier Lattard Ivan Miro Panades Denis Dutoit Fabien Clermidy Séverine Cheramy Abbas Sheibanyrad Frédéric Pétrot Eric Flamand Jean Michailos Alexandre Arriordaz Lee Wang Juergen Schloeffel A 4 × 4 × 2 Homogeneous Scalable 3D Network-on-Chip Circuit With 326 MFlit/s 0.66 pJ/b Robust and Fault Tolerant Asynchronous 3D Links. 33-49 2017 52 IEEE J. Solid State Circuits 1 https://doi.org/10.1109/JSSC.2016.2611497 db/journals/jssc/jssc52.html#VivetTLSBBDLPDC17

Luc Michel Frédéric Pétrot Dynamic Binary Translation of VLIW Codes on Scalar Architectures. 789-800 2017 36 IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 5 https://doi.org/10.1109/TCAD.2016.2604294 db/journals/tcad/tcad36.html#MichelP17

Marcos Aurélio Pinto Cunha Omayma Matoussi Frédéric Pétrot Detecting Software Cache Coherence Violations in MPSoC Using Traces Captured on Virtual Platforms. 30:1-30:21 2017 16 ACM Trans. Embed. Comput. Syst. 2 https://doi.org/10.1145/2990193 db/journals/tecs/tecs16.html#CunhaMP17

Adrien Prost-Boucle Frédéric Pétrot Vincent Leroy 0001 Hande Alemdar Efficient and Versatile FPGA Acceleration of Support Counting for Stream Mining of Sequences and Frequent Itemsets. 21:1-21:25 2017 10 ACM Trans. Reconfigurable Technol. Syst. 3 https://doi.org/10.1145/3027485 https://www.wikidata.org/entity/Q62680872 db/journals/trets/trets10.html#Prost-BouclePLA17

Julie Dumas Eric Guthmuller César Fuguet Tortolero Frédéric Pétrot A Method for Fast Evaluation of Sharing Set Management Strategies in Cache Coherence Protocols. 111-123 2017 ARCS https://doi.org/10.1007/978-3-319-54999-6_9 conf/arcs/2017 db/conf/arcs/arcs2017.html#DumasGTP17 Omayma Matoussi Frédéric Pétrot Loop aware IR-level annotation framework for performance estimation in native simulation. 220-225 2017 ASP-DAC https://doi.org/10.1109/ASPDAC.2017.7858323 conf/aspdac/2017 db/conf/aspdac/aspdac2017.html#MatoussiP17 Omayma Matoussi Frédéric Pétrot IR-level annotation strategy dealing with aggressive loop optimizations for performance estimation in native simulation: work-in-progress. 13:1-13:2 2017 CODES+ISSS https://doi.org/10.1145/3125502.3125550 conf/codes/2017 db/conf/codes/codes2017.html#MatoussiP17 Omayma Matoussi Frédéric Pétrot Modeling instruction cache and instruction buffer for performance estimation of VLIW architectures using native simulation. 266-269 2017 DATE https://doi.org/10.23919/DATE.2017.7926995 http://dl.acm.org/citation.cfm?id=3130440 conf/date/2017 db/conf/date/date2017.html#MatoussiP17 Antoine Faravelon Olivier Gruber Frédéric Pétrot Optimizing Memory Access Performance Using Hardware Assisted Virtualization in Retargetable Dynamic Binary Translation. 40-46 2017 DSD https://doi.org/10.1109/DSD.2017.41 https://doi.ieeecomputersociety.org/10.1109/DSD.2017.41 conf/dsd/2017 db/conf/dsd/dsd2017.html#FaravelonGP17 Hela Belhadj Amor Abbas Sheibanyrad Frédéric Pétrot A Distributed NUCA Architecture Using an Efficient NoC Multicasting Support. 184-191 2017 DSD https://doi.org/10.1109/DSD.2017.34 https://doi.ieeecomputersociety.org/10.1109/DSD.2017.34 conf/dsd/2017 db/conf/dsd/dsd2017.html#AmorSP17 Adrien Prost-Boucle Alban Bourge Frédéric Pétrot Hande Alemdar Nicholas Caldwell Vincent Leroy 0001 Scalable high-performance architecture for convolutional ternary neural networks on FPGA. 1-7 2017 FPL https://doi.org/10.23919/FPL.2017.8056850 https://www.wikidata.org/entity/Q62680879 conf/fpl/2017 db/conf/fpl/fpl2017.html#Prost-BoucleBPA17 Hande Alemdar Vincent Leroy 0001 Adrien Prost-Boucle Frédéric Pétrot Ternary neural networks for resource-efficient AI applications. 2547-2554 2017 IJCNN https://doi.org/10.1109/IJCNN.2017.7966166 https://www.wikidata.org/entity/Q62680881 conf/ijcnn/2017 db/conf/ijcnn/ijcnn2017.html#AlemdarLPP17 Hela Belhadj Amor Hamed Sheibanyrad Frédéric Pétrot A Meta-Routing Method to Create Multiple Virtual Logical Networks on a Single Hardware NoC. 200-205 2017 ISVLSI https://doi.org/10.1109/ISVLSI.2017.43 https://doi.ieeecomputersociety.org/10.1109/ISVLSI.2017.43 conf/isvlsi/2017 db/conf/isvlsi/isvlsi2017.html#AmorSP17 Julie Dumas Eric Guthmuller César Fuguet Tortolero Frédéric Pétrot Trace-driven exploration of sharing set management strategies for cache coherence in manycores. 77-80 2017 NEWCAS https://doi.org/10.1109/NEWCAS.2017.8010109 conf/newcas/2017 db/conf/newcas/newcas2017.html#DumasGTP17 Frédéric Pétrot Luc Michel Clément Deschamps Multiprocessor System-on-Chip Prototyping Using Dynamic Binary Translation. 565-591 2017 reference/hwswco/2017 Handbook of Hardware/Software Codesign https://doi.org/10.1007/978-94-017-7267-9_20 db/reference/hwswco/hwswco2017.html#PetrotMD17

Marcos Aurélio Pinto Cunha Nicolas Fournel Frédéric Pétrot Deterministic reversible MPSoC debugger based on virtual platform execution traces. 47-63 2016 20 Des. Autom. Embed. Syst. 1 https://doi.org/10.1007/s10617-015-9167-8 db/journals/dafes/dafes20.html#CunhaFP16

Guillaume Sarrazin Nicolas Brunie Frédéric Pétrot Virtual prototyping of floating point units. 1:1-1:6 2016 RAPIDO@HiPEAC https://doi.org/10.1145/2852339.2852340 conf/hipeac/2016rapido db/conf/hipeac/rapido2016.html#SarrazinBP16 Pascal Vivet Yvain Thonnart Romain Lemaire Edith Beigné Christian Bernard Florian Darve Didier Lattard Ivan Miro Panades Cristiano Santos Fabien Clermidy Séverine Cheramy Frédéric Pétrot Eric Flamand Jean Michailos 8.1 A 4×4×2 homogeneous scalable 3D network-on-chip circuit with 326MFlit/s 0.66pJ/b robust and fault-tolerant asynchronous 3D links. 146-147 2016 ISSCC https://doi.org/10.1109/ISSCC.2016.7417949 conf/isscc/2016 db/conf/isscc/isscc2016.html#VivetTLBBDLPSCC16 Perrin N. Ntafam Eric Paire Alain Clouard Frédéric Pétrot Simulation driven insertion of data prefetching instructions for early software-on-SoC optimization. 93-99 2016 RSP https://doi.org/10.1145/2990299.2990315 conf/rsp/2016 db/conf/rsp/rsp2016.html#NtafamPCP16

Laurent Raffaëlli Frédérique Vallée Guy Fayolle Philippe De Souza Xavier Rouah Matthieu Pfeiffer Stéphane Géronimi Frédéric Pétrot Samia Ahiad Facing ADAS validation complexity with usage oriented testing. 2016 abs/1607.07849 CoRR http://arxiv.org/abs/1607.07849 db/journals/corr/corr1607.html#RaffaelliVFSRPG16

Hande Alemdar Nicholas Caldwell Vincent Leroy 0001 Adrien Prost-Boucle Frédéric Pétrot Ternary Neural Networks for Resource-Efficient AI Applications. 2016 abs/1609.00222 CoRR http://arxiv.org/abs/1609.00222 db/journals/corr/corr1609.html#AlemdarCLPP16

Guillaume Sarrazin Nicolas Fournel Patrice Gerin Frédéric Pétrot Simulation native basée sur le support matériel à la virtualisation cas des systèmes many-cœurs spécifiques. 153-173 2015 34 Tech. Sci. Informatiques 1-2 https://doi.org/10.3166/tsi.34.153-173 db/journals/tsi/tsi34.html#SarrazinFGP15

Antoine Faravelon Nicolas Fournel Frédéric Pétrot Fast and accurate branch predictor simulation. 317-320 2015 DATE http://dl.acm.org/citation.cfm?id=2755824 https://ieeexplore.ieee.org/document/7092406/ conf/date/2015 db/conf/date/date2015.html#FaravelonFP15 Marcos Aurélio Pinto Cunha Nicolas Fournel Frédéric Pétrot Collecting traces in dynamic binary translation based virtual prototyping platforms. 4:1-4:6 2015 RAPIDO@HiPEAC https://doi.org/10.1145/2693433.2693437 https://www.wikidata.org/entity/Q131129881 conf/hipeac/2015rapido db/conf/hipeac/rapido2015.html#CunhaFP15

Sahar Foroutan Abbas Sheibanyrad Frédéric Pétrot Assignment of Vertical-Links to Routers in Vertically-Partially-Connected 3-D-NoCs. 1208-1218 2014 33 IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 8 https://doi.org/10.1109/TCAD.2014.2323219 db/journals/tcad/tcad33.html#ForoutanSP14

Sofiane Lagraa Alexandre Termier Frédéric Pétrot Scalability bottlenecks discovery in MPSoC platforms using data mining on simulation traces. 1-6 2014 DATE https://doi.org/10.7873/DATE.2014.199 http://dl.acm.org/citation.cfm?id=2616835 conf/date/2014 db/conf/date/date2014.html#LagraaTP14 Lorena Anghel Mounir Benabdenbi Frédéric Pétrot System on chip project: Integration of a Motion-JPEG video decoder. 167-170 2014 EWME https://doi.org/10.1109/EWME.2014.6877419 conf/ewme/2014 db/conf/ewme/ewme2014.html#AnghelBP14 Hui Chen Guillaume Godet-Bar Frédéric Rousseau 0001 Frédéric Pétrot Device driver generation targeting multiple operating systems using a model-driven methodology. 30-36 2014 RSP https://doi.org/10.1109/RSP.2014.6966689 conf/rsp/2014 db/conf/rsp/rsp2014.html#ChenGRP14

Khaled Rahmouni Sebastien Chabanet Nicolas Lambelin Frédéric Pétrot Design of a medium voltage protection device using system simulation approaches: a case study. 53-66 2013 5 Int. J. Embed. Syst. 1/2 https://doi.org/10.1504/IJES.2013.052144 db/journals/ijes/ijes5.html#RahmouniCLP13

Pierre-Henri Horrein Christine Hennebert Frédéric Pétrot An environment for (re)configuration and execution management of heterogeneous flexible radio platforms. 701-712 2013 37 Microprocess. Microsystems 6-7 https://doi.org/10.1016/j.micpro.2012.06.002 db/journals/mam/mam37.html#HorreinHP13

Florentine Dubois Abbas Sheibanyrad Frédéric Pétrot Maryam Bahmani Elevator-First: A Deadlock-Free Distributed Routing Algorithm for Vertically Partially Connected 3D-NoCs. 609-615 2013 62 IEEE Trans. Computers 3 https://doi.org/10.1109/TC.2011.239 http://doi.ieeecomputersociety.org/10.1109/TC.2011.239 db/journals/tc/tc62.html#DuboisSPB13

Sahar Foroutan Yvain Thonnart Frédéric Pétrot An Iterative Computational Technique for Performance Evaluation of Networks-on-Chip. 1641-1655 2013 62 IEEE Trans. Computers 8 https://doi.org/10.1109/TC.2012.85 http://doi.ieeecomputersociety.org/10.1109/TC.2012.85 db/journals/tc/tc62.html#ForoutanTP13

Mian Muhammad Hamayun Frédéric Pétrot Nicolas Fournel Native simulation of complex VLIW instruction sets using static binary translation and Hardware-Assisted Virtualization. 576-581 2013 ASP-DAC https://doi.org/10.1109/ASPDAC.2013.6509660 conf/aspdac/2013 db/conf/aspdac/aspdac2013.html#HamayunPF13 Sofiane Lagraa Alexandre Termier Frédéric Pétrot Data mining MPSoC simulation traces to identify concurrent memory access patterns. 755-760 2013 DATE https://doi.org/10.7873/DATE.2013.161 http://dl.acm.org/citation.cfm?id=2485471 conf/date/2013 db/conf/date/date2013.html#LagraaTP13 Julien Saade Frédéric Pétrot Andre Picco Joel Huloux Abdelaziz Goulahsen A system-level overview and comparison of three High-Speed Serial Links: USB 3.0, PCI Express 2.0 and LLI 1.0. 147-152 2013 DDECS https://doi.org/10.1109/DDECS.2013.6549807 https://doi.ieeecomputersociety.org/10.1109/DDECS.2013.6549807 conf/ddecs/2013 db/conf/ddecs/ddecs2013.html#SaadePPHG13 Sahar Foroutan Benny Akesson Kees Goossens Frédéric Pétrot A General Framework for Average-Case Performance Analysis of Shared Resources. 78-85 2013 DSD https://doi.org/10.1109/DSD.2013.116 https://doi.ieeecomputersociety.org/10.1109/DSD.2013.116 conf/dsd/2013 db/conf/dsd/dsd2013.html#ForoutanAGP13 Nicolas Fournel Luc Michel Frédéric Pétrot Automated generation of efficient instruction decoders for instruction set simulators. 739-746 2013 ICCAD https://doi.org/10.1109/ICCAD.2013.6691197 http://dl.acm.org/citation.cfm?id=2561972 conf/iccad/2013 db/conf/iccad/iccad2013.html#FournelMP13

Hao Shen 0009 Mian Muhammad Hamayun Frédéric Pétrot Native Simulation of MPSoC Using Hardware-Assisted Virtualization. 1074-1087 2012 31 IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 7 https://doi.org/10.1109/TCAD.2012.2187526 db/journals/tcad/tcad31.html#ShenHP12

Pierre-Henri Horrein Christine Hennebert Frédéric Pétrot Integration of GPU Computing in a Software Radio Environment. 55-65 2012 69 J. Signal Process. Syst. 1 https://doi.org/10.1007/s11265-011-0639-1 db/journals/vlsisp/vlsisp69.html#HorreinHP12

Luc Michel Nicolas Fournel Frédéric Pétrot Fast simulation of systems embedding VLIW processors. 143-150 2012 CODES+ISSS https://doi.org/10.1145/2380445.2380472 https://www.wikidata.org/entity/Q131125912 conf/codes/2012 db/conf/codes/codes2012.html#MichelFP12 Sahar Foroutan Abbas Sheibanyrad Frédéric Pétrot Cost-efficient buffer sizing in shared-memory 3D-MPSoCs using wide I/O interfaces. 366-375 2012 DAC https://doi.org/10.1145/2228360.2228427 conf/dac/2012 db/conf/dac/dac2012.html#ForoutanSP12 Alexandre Chagoya-Garzon Frédéric Rousseau 0001 Frédéric Pétrot Multi-device Driver Synthesis Flow for Heterogeneous Hierarchical Systems. 389-396 2012 DSD https://doi.org/10.1109/DSD.2012.88 https://doi.ieeecomputersociety.org/10.1109/DSD.2012.88 conf/dsd/2012 db/conf/dsd/dsd2012.html#Chagoya-GarzonRP12 Yan Xu Olivier Muller Pierre-Henri Horrein Frédéric Pétrot HCM: An abstraction layer for seamless programming of DPR FPGA. 583-586 2012 FPL https://doi.org/10.1109/FPL.2012.6339212 conf/fpl/2012 db/conf/fpl/fpl2012.html#XuMHP12 Florentine Dubois Valerio Catalano Marcello Coppola Frédéric Pétrot Accurate on-chip router area modeling with Kriging methodology. 450-457 2012 ICCAD https://doi.org/10.1145/2429384.2429478 https://ieeexplore.ieee.org/document/6386706/ conf/iccad/2012 db/conf/iccad/iccad2012.html#DuboisCCP12 Maryam Bahmani Abbas Sheibanyrad Frédéric Pétrot Florentine Dubois Paolo Durante A 3D-NoC Router Implementation Exploiting Vertically-Partially-Connected Topologies. 9-14 2012 ISVLSI https://doi.org/10.1109/ISVLSI.2012.19 https://doi.ieeecomputersociety.org/10.1109/ISVLSI.2012.19 conf/isvlsi/2012 db/conf/isvlsi/isvlsi2012.html#BahmaniSPDD12 Sofiane Lagraa Alexandre Termier Frédéric Pétrot Automatic congestion detection in MPSoC programs using data mining on simulation traces. 64-70 2012 RSP https://doi.org/10.1109/RSP.2012.6380692 conf/rsp/2012 db/conf/rsp/rsp2012.html#LagraaTP12

Frédéric Pétrot Nicolas Fournel Patrice Gerin Marius Gligor Mian Muhammad Hamayun Hao Shen 0009 On MPSoC Software Execution at the Transaction Level. 32-43 2011 28 IEEE Des. Test Comput. 3 https://doi.org/10.1109/MDT.2010.118 http://doi.ieeecomputersociety.org/10.1109/MDT.2010.118 db/journals/dt/dt28.html#PetrotFGGHS11

Quentin L. Meunier Frédéric Pétrot Systèmes de mémoire transactionnelle pour les architectures à base de NoC Conception, implémentation et comparaison de deux politiques. 1061-1087 2011 30 Tech. Sci. Informatiques 9 https://doi.org/10.3166/tsi.30.1061-1087 db/journals/tsi/tsi30.html#MeunierP11

Hao Shen 0009 Frédéric Pétrot Using Amdahl's Law for Performance Analysis of Many-Core SoC Architectures Based on Functionally Asymmetric Processors. 38-49 2011 ARCS https://doi.org/10.1007/978-3-642-19137-4_4 conf/arcs/2011 db/conf/arcs/arcs2011.html#ShenP11 Marius Gligor Frédéric Pétrot Handling dynamic frequency changes in statically scheduled cycle-accurate simulation. 407-412 2011 ASP-DAC https://doi.org/10.1109/ASPDAC.2011.5722224 http://dl.acm.org/citation.cfm?id=1950902 conf/aspdac/2011 db/conf/aspdac/aspdac2011.html#GligorP11 Luc Michel Nicolas Fournel Frédéric Pétrot Speeding-up SIMD instructions dynamic binary translation in embedded processor simulation. 277-280 2011 DATE https://doi.org/10.1109/DATE.2011.5763274 https://doi.ieeecomputersociety.org/10.1109/DATE.2011.5763274 conf/date/2011 db/conf/date/date2011.html#MichelFP11 Pierre-Henri Horrein Christine Hennebert Frédéric Pétrot An Environment for (re)configuration and Execution Managenment of Flexible Radio Platforms. 327-334 2011 DSD https://doi.org/10.1109/DSD.2011.47 https://doi.ieeecomputersociety.org/10.1109/DSD.2011.47 conf/dsd/2011 db/conf/dsd/dsd2011.html#HorreinHP11 Khaldon Hassan Frédéric Pétrot Riccardo Locatelli Marcello Coppola EEEP: an extreme end to end flow control protocol for SDRAM access through networks on chip. 3-6 2011 INA-OCMC@HiPEAC https://doi.org/10.1145/1930037.1930039 conf/hipeac/2011ina-ocmc db/conf/hipeac/ina-ocmc2011.html#HassanPLC11 Florian Darve Abbas Sheibanyrad Pascal Vivet Frédéric Pétrot Physical Implementation of an Asynchronous 3D-NoC Router Using Serial Vertical Links. 25-30 2011 ISVLSI https://doi.org/10.1109/ISVLSI.2011.59 https://doi.ieeecomputersociety.org/10.1109/ISVLSI.2011.59 conf/isvlsi/2011 db/conf/isvlsi/isvlsi2011.html#DarveSVP11 Florentine Dubois José Cano 0001 Marcello Coppola José Flich Frédéric Pétrot Spidergon STNoC design flow. 267-268 2011 NOCS https://doi.org/10.1145/1999946.1999994 https://ieeexplore.ieee.org/document/5948579/ https://www.wikidata.org/entity/Q57663562 conf/nocs/2011 db/conf/nocs/nocs2011.html#DuboisCCFP11 Damien Hedde Frédéric Pétrot A non intrusive simulation-based trace system to analyse Multiprocessor Systems-on-Chip software. 106-112 2011 International Symposium on Rapid System Prototyping https://doi.org/10.1109/RSP.2011.5929983 conf/rsp/2011 db/conf/rsp/rsp2011.html#HeddeP11 Hui Chen Guillaume Godet-Bar Frédéric Rousseau 0001 Frédéric Pétrot Me3D: A model-driven methodology expediting embedded device driver development. 171-177 2011 International Symposium on Rapid System Prototyping https://doi.org/10.1109/RSP.2011.5929992 conf/rsp/2011 db/conf/rsp/rsp2011.html#ChenGRP11 Abbas Sheibanyrad Frédéric Pétrot Asynchronous 3D-NoCs Making Use of Serialized Vertical Links. 149-165 2011 3D Integration for NoC-based SoC Architectures https://doi.org/10.1007/978-1-4419-7618-5_7 series/icas/2011SPJ db/series/icas/SPJ2011.html#SheibanyradP11 Abbas Sheibanyrad Frédéric Pétrot Axel Jantsch 3D Integration for NoC-based SoC Architectures Integrated Circuits and Systems Springer 2011 978-1-4419-7617-8 978-1-4419-7618-5 https://doi.org/10.1007/978-1-4419-7618-5 db/series/icas/SPJ2011.html

Pierre Guironnet de Massas Frédéric Pétrot Evaluation of the implementation cost of cache coherence protocols using omniscient actions. 21-42 2010 14 Des. Autom. Embed. Syst. 1 https://doi.org/10.1007/s10617-010-9050-6 db/journals/dafes/dafes14.html#MassasP10

Quentin L. Meunier Frédéric Pétrot Lightweight Transactional Memory systems for NoCs based architectures: Design, implementation and comparison of two policies. 1024-1041 2010 70 J. Parallel Distributed Comput. 10 https://doi.org/10.1016/j.jpdc.2010.02.007 db/journals/jpdc/jpdc70.html#MeunierP10

Quentin L. Meunier Frédéric Pétrot Jean-Louis Roch Hardware/software support for adaptive work-stealing in on-chip multiprocessor. 392-406 2010 56 J. Syst. Archit. 8 https://doi.org/10.1016/j.sysarc.2010.06.007 db/journals/jsa/jsa56.html#MeunierPR10

Hao Shen 0009 Frédéric Pétrot A flexible hybrid simulation platform targeting multiple configurable processors SoC. 155-160 2010 ASP-DAC https://doi.org/10.1109/ASPDAC.2010.5419904 http://dl.acm.org/citation.cfm?id=1899754 conf/aspdac/2010 db/conf/aspdac/aspdac2010.html#ShenP10 Amin El Mrabti Frédéric Rousseau 0001 Frédéric Pétrot Jérôme Martin Romain Lemaire Emmanuel Vaumorin Design environment for the support of configurable Network Interfaces in NoC-based platforms. 63-70 2010 ICSAMOS https://doi.org/10.1109/ICSAMOS.2010.5642091 conf/samos/2010ic db/conf/samos/samos2010ic.html#MrabtiRPMLV10 Khaled Rahmouni Frédéric Pétrot Improving the tests coverage of a medium voltage protection device using system simulation approaches. 184-187 2010 SIES https://doi.org/10.1109/SIES.2010.5551389 conf/sies/2010 db/conf/sies/sies2010.html#RahmouniP10 Xavier Guerin Frédéric Pétrot A System Framework for the Design of Embedded Software Targeting Heterogeneous Multi-core SoCs. 153-160 2009 ASAP https://doi.org/10.1109/ASAP.2009.9 https://doi.ieeecomputersociety.org/10.1109/ASAP.2009.9 conf/asap/2009 db/conf/asap/asap2009.html#GuerinP09 Aimen Bouchhima Patrice Gerin Frédéric Pétrot Automatic instrumentation of embedded software for high level hardware/software co-simulation. 546-551 2009 ASP-DAC https://doi.org/10.1109/ASPDAC.2009.4796537 http://dl.acm.org/citation.cfm?id=1509762 conf/aspdac/2009 db/conf/aspdac/aspdac2009.html#BouchhimaGP09 Hao Shen 0009 Frédéric Pétrot Novel task migration framework on configurable heterogeneous MPSoC platforms. 733-738 2009 ASP-DAC https://doi.org/10.1109/ASPDAC.2009.4796567 http://dl.acm.org/citation.cfm?id=1509798 conf/aspdac/2009 db/conf/aspdac/aspdac2009.html#ShenP09 Marius Gligor Nicolas Fournel Frédéric Pétrot Using binary translation in event driven simulation for fast and flexible MPSoC simulation. 71-80 2009 CODES+ISSS https://doi.org/10.1145/1629435.1629446 https://www.wikidata.org/entity/Q131114092 conf/codes/2009 db/conf/codes/codes2009.html#GligorFP09 Patrice Gerin Mian Muhammad Hamayun Frédéric Pétrot Native MPSoC co-simulation environment for software performance estimation. 403-412 2009 CODES+ISSS https://doi.org/10.1145/1629435.1629490 conf/codes/2009 db/conf/codes/codes2009.html#GerinHP09 Amin El Mrabti Frédéric Pétrot Aimen Bouchhima Extending IP-XACT to support an MDE based approach for SoC design. 586-589 2009 DATE https://doi.org/10.1109/DATE.2009.5090733 http://dl.acm.org/citation.cfm?id=1874763 conf/date/2009 db/conf/date/date2009.html#MrabtiPB09 Damien Hedde Pierre-Henri Horrein Frédéric Pétrot Robin Rolland Franck Rousseau A MPSoC Prototyping Platform for Flexible Radio Applications. 559-566 2009 DSD https://doi.org/10.1109/DSD.2009.231 https://doi.ieeecomputersociety.org/10.1109/DSD.2009.231 conf/dsd/2009 db/conf/dsd/dsd2009.html#HeddeHPRR09 Amin El Mrabti Hamed Sheibanyrad Frédéric Rousseau 0001 Frédéric Pétrot Romain Lemaire Jérôme Martin Abstract Description of System Application and Hardware Architecture for Hardware/Software Code Generation. 567-574 2009 DSD https://doi.org/10.1109/DSD.2009.164 https://doi.ieeecomputersociety.org/10.1109/DSD.2009.164 conf/dsd/2009 db/conf/dsd/dsd2009.html#MrabtiSRPLM09 Marius Gligor Nicolas Fournel Frédéric Pétrot Adaptive Dynamic Voltage and Frequency Scaling Algorithm for Symmetric Multiprocessor Architecture. 613-616 2009 DSD https://doi.org/10.1109/DSD.2009.155 https://doi.ieeecomputersociety.org/10.1109/DSD.2009.155 conf/dsd/2009 db/conf/dsd/dsd2009.html#GligorFP09 Marius Gligor Nicolas Fournel Frédéric Pétrot Fabien Colas-Bigey Anne-Marie Fouilliart Philippe Teninge Marcello Coppola Practical Design Space Exploration of an H264 Decoder for Handheld Devices Using a Virtual Platform. 206-215 2009 PATMOS https://doi.org/10.1007/978-3-642-11802-9_25 conf/patmos/2009 db/conf/patmos/patmos2009.html#GligorFPCFTC09 Alexandre Chagoya-Garzon Xavier Guerin Frédéric Rousseau 0001 Frédéric Pétrot Davide Rossetti Alessandro Lonardo Piero Vicini Pier Stanislao Paolucci Synthesis of Communication Mechanisms for Multi-tile Systems Based on Heterogeneous Multi-processor System-On-Chips. 48-54 2009 IEEE International Workshop on Rapid System Prototyping https://doi.org/10.1109/RSP.2009.12 https://doi.ieeecomputersociety.org/10.1109/RSP.2009.12 conf/rsp/2009 db/conf/rsp/rsp2009.html#Chagoya-GarzonGRPRLVP09 Khaled Rahmouni Patrice Gerin Sebastien Chabanet Paul Pianu Frédéric Pétrot Modelling and architecture exploration of a medium voltage protection device. 46-49 2009 SIES https://doi.org/10.1109/SIES.2009.5196191 conf/sies/2009 db/conf/sies/sies2009.html#RahmouniGCPP09

Lobna Kriaa Aimen Bouchhima Marius Gligor Anne-Marie Fouillart Frédéric Pétrot Ahmed Amine Jerraya Parallel Programming of Multi-processor SoC: A HW-SW Interface Perspective. 68-92 2008 36 Int. J. Parallel Program. 1 https://doi.org/10.1007/s10766-007-0042-5 https://www.wikidata.org/entity/Q111096797 db/journals/ijpp/ijpp36.html#KriaaBGFPJ08

Ana Abril Habib Mehrez Frédéric Pétrot Jean Gobert Carolina Miro Estimation et optimisation de la consommation dans les SoC utilisant la simulation précise au cycle. 203-233 2008 27 Tech. Sci. Informatiques 1-2 https://doi.org/10.3166/tsi.27.203-233 db/journals/tsi/tsi27.html#AbrilMPGM08

Patrice Gerin Xavier Guerin Frédéric Pétrot Efficient Implementation of Native Software Simulation for MPSoC. 676-681 2008 DATE https://doi.org/10.1109/DATE.2008.4484756 https://doi.ieeecomputersociety.org/10.1109/DATE.2008.4484756 https://doi.org/10.1145/1403375.1403540 conf/date/2008 db/conf/date/date2008.html#GerinGP08 Pierre Guironnet de Massas Frédéric Pétrot Comparison of memory write policies for NoC based Multicore Cache Coherent Systems. 997-1002 2008 DATE https://doi.org/10.1109/DATE.2008.4484811 https://doi.ieeecomputersociety.org/10.1109/DATE.2008.4484811 https://doi.org/10.1145/1403375.1403616 conf/date/2008 db/conf/date/date2008.html#MassasP08 Abdellah-Medjadji Kouadri-Mostefaoui Benaoumeur Senouci Frédéric Pétrot Large Scale On-Chip Networks : An Accurate Multi-FPGA Emulation Platform. 3-9 2008 DSD https://doi.org/10.1109/DSD.2008.130 https://doi.ieeecomputersociety.org/10.1109/DSD.2008.130 conf/dsd/2008 db/conf/dsd/dsd2008.html#Kouadri-MostefaouiSP08 Benaoumeur Senouci Abdellah-Medjadji Kouadri-Kouadri Frédéric Rousseau 0001 Frédéric Pétrot Multi-CPU/FPGA Platform Based Heterogeneous Multiprocessor Prototyping: New Challenges for Embedded Software Designers. 41-47 2008 IEEE International Workshop on Rapid System Prototyping https://doi.org/10.1109/RSP.2008.27 https://doi.ieeecomputersociety.org/10.1109/RSP.2008.27 conf/rsp/2008 db/conf/rsp/rsp2008.html#SenouciKRP08 Hao Shen 0009 Patrice Gerin Frédéric Pétrot Configurable Heterogeneous MPSoC Architecture Exploration Using Abstraction Levels. 51-57 2008 IEEE International Workshop on Rapid System Prototyping https://doi.org/10.1109/RSP.2008.18 https://doi.ieeecomputersociety.org/10.1109/RSP.2008.18 conf/rsp/2008 db/conf/rsp/rsp2008.html#ShenGP08 Alexandre Chureau Frédéric Pétrot An intermediate format for automatic generation of MPSoC virtual prototypes. 165-172 2008 ICSAMOS https://doi.org/10.1109/ICSAMOS.2008.4664860 conf/samos/2008ic db/conf/samos/samos2008ic.html#ChureauP08 Hao Shen 0009 Frédéric Pétrot MPSoC Communication Architecture Exploration Using an Abstraction Refinement Method. 403-408 2008 VLSI Design https://doi.org/10.1109/VLSI.2008.64 https://doi.ieeecomputersociety.org/10.1109/VLSI.2008.64 conf/vlsid/2008 db/conf/vlsid/vlsid2008.html#ShenP08

Benaoumeur Senouci Aimen Bouchhima Frédéric Rousseau 0001 Frédéric Pétrot Ahmed Amine Jerraya Prototyping Multiprocessor System-on-Chip Applications: A Platform-Based Approach. 2007 8 IEEE Distributed Syst. Online 5 https://doi.org/10.1109/MDSO.2007.28 https://doi.ieeecomputersociety.org/10.1109/MDSO.2007.28 db/journals/dsonline/dsonline8.html#SenouciBRPJ07

Pierre Guironnet de Massas Paul Amblard Frédéric Pétrot On SPARC LEON-2 ISA Extensions Experiments for MPEG Encoding Acceleration. 2007 2007 VLSI Design https://doi.org/10.1155/2007/28686 db/journals/vlsi/vlsi2007.html#MassasAP07 28686:1-28686:10

Abdellah-Medjadji Kouadri-Mostefaoui Benaoumeur Senouci Frédéric Pétrot Scalable Multi-FPGA Platform for Networks-On-Chip Emulation. 54-60 2007 ASAP https://doi.org/10.1109/ASAP.2007.4429958 https://doi.ieeecomputersociety.org/10.1109/ASAP.2007.4429958 conf/asap/2007 db/conf/asap/asap2007.html#Kouadri-MostefaouiSP07 Ahmed Amine Jerraya Aimen Bouchhima Frédéric Pétrot Programming models and HW-SW interfaces abstraction for multi-processor SoC. 280-285 2006 conf/dac/2006 DAC https://doi.org/10.1145/1146909.1146981 db/conf/dac/dac2006.html#JerrayaBP06 Frédéric Pétrot Alain Greiner Pascal Gomez On Cache Coherency and Memory Consistency Issues in NoC Based Shared Memory Multiprocessor SoC Architectures. 53-60 2006 conf/dsd/2006 DSD https://doi.org/10.1109/DSD.2006.73 https://doi.ieeecomputersociety.org/10.1109/DSD.2006.73 db/conf/dsd/dsd2006.html#PetrotGG06 Alain Greiner Frédéric Pétrot M. Carrier Mounir Benabdenbi Roselyne Chotin-Avot Raphaël Labayrade MP-SoC Architecture for an Obstacle Detection Application in Pre-Crash Situation. 24-30 2006 conf/recosoc/2006 ReCoSoC db/conf/recosoc/ReCoSoC2006.html#GreinerPCBCL06 Benaoumeur Senouci Aimen Bouchhima Frédéric Rousseau 0001 Frédéric Pétrot Ahmed Amine Jerraya Fast Prototyping of POSIX Based Applications on a Multiprocessor SoC Architecture: "Hardware-Dependent Software Oriented Approach". 69-75 2006 conf/rsp/2006 IEEE International Workshop on Rapid System Prototyping https://doi.org/10.1109/RSP.2006.17 https://doi.ieeecomputersociety.org/10.1109/RSP.2006.17 db/conf/rsp/rsp2006.html#SenouciBRPJ06 Lobna Kriaa Aimen Bouchhima Wassim Youssef Frédéric Pétrot Anne-Marie Fouillart Ahmed Amine Jerraya Service Based Component Design Approach for Flexible Hardware/Software Interface Modeling. 156-162 2006 conf/rsp/2006 IEEE International Workshop on Rapid System Prototyping https://doi.org/10.1109/RSP.2006.35 https://doi.ieeecomputersociety.org/10.1109/RSP.2006.35 db/conf/rsp/rsp2006.html#KriaaBYPFJ06

Ivan Augé Frédéric Pétrot François Donnet Pascal Gomez Platform-based design from parallel C specifications. 1811-1826 2005 24 IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 12 https://doi.org/10.1109/TCAD.2005.852431 db/journals/tcad/tcad24.html#AugePDG05

Aimen Bouchhima Xi Chen Frédéric Pétrot Wander O. Cesário Ahmed Amine Jerraya A unified HW/SW interface model to remove discontinuities between HW and SW design. 159-163 2005 conf/emsoft/2005 EMSOFT https://doi.org/10.1145/1086228.1086258 db/conf/emsoft/emsoft2005.html#BouchhimaCPCJ05

Ivan Augé Frédéric Pétrot François Donnet Pascal Gomez Intégration sur plate-forme matérielle/logicielle de spécifications 'C' parallèles. 807-837 2004 59 Ann. des Télécommunications 7-8 https://doi.org/10.1007/BF03180023 db/journals/adt/adt59.html#AugePDG04

Saifeddine Berrayana Etienne Faure Daniela Genius Frédéric Pétrot Modular On-chip Multiprocessor for Routing Applications. 846-855 https://doi.org/10.1007/978-3-540-27866-5_113 2004 conf/europar/2004 Euro-Par db/conf/europar/europar2004.html#BerrayanaFGP04 Frédéric Pétrot Pascal Gomez Lightweight Implementation of the POSIX Threads API for an On-Chip MIPS Multiprocessor with VCI Interconnect. 20051-20056 2003 conf/date/2003 DATE https://doi.ieeecomputersociety.org/10.1109/DATE.2003.10218 http://dl.acm.org/citation.cfm?id=1022926 db/conf/date/date2003.html#PetrotG03 Ivan Augé François Donnet Frédéric Pétrot Retiming Finite State Machines to Control Hardened Data-Paths. 41-46 2003 conf/sbcci/2003 SBCCI https://doi.org/10.1109/SBCCI.2003.1232804 https://doi.ieeecomputersociety.org/10.1109/SBCCI.2003.1232804 https://dl.acm.org/doi/10.5555/942808.943939 db/conf/sbcci/sbcci2003.html#AugeDP03 Frédéric Pétrot Pascal Gomez Denis Hommais Lightweight Implementation of the POSIX Threads API for an On-Chip MIPS Multiprocessor with VCI Interconnect. 25-38 2003 Embedded Software for SoC https://doi.org/10.1007/0-306-48709-8_3 books/sp/03/JYVW2003 db/books/collections/JYVW2003.html#PetrotGH03 Ana Belén Abril García Jean Gobert Thomas Dombek Habib Mehrez Frédéric Pétrot Cycle-accurate energy estimation in system level descriptions of embedded systems. 549-552 2002 ICECS https://doi.org/10.1109/ICECS.2002.1046224 conf/icecsys/2002 db/conf/icecsys/icecsys2002.html#GarciaGDMP02 Denis Hommais Frédéric Pétrot Ivan Augé A practical tool box for system level communication synthesis. 48-53 2001 conf/codes/2001 CODES https://doi.org/10.1145/371636.371674 db/conf/codes/codes2001.html#HommaisPA01 Denis Hommais Frédéric Pétrot Ivan Augé A Tool Box to Map System Level Communications on HW/SW Architectures. 77-83 2001 conf/rsp/2001 IEEE International Workshop on Rapid System Prototyping https://doi.org/10.1109/IWRSP.2001.933842 https://doi.ieeecomputersociety.org/10.1109/IWRSP.2001.933842 db/conf/rsp/rsp2001.html#HommaisPA01 Jean-Yves Brunel W. M. Kruijtzer H. J. H. N. Kenter Frédéric Pétrot L. Pasquier Erwin A. de Kock W. J. M. Smits COSY communication IP's. 406-409 2000 conf/dac/2000 DAC https://doi.org/10.1145/337292.337515 db/conf/dac/dac2000.html#BrunelKKPPKS00 Frédéric Pétrot Denis Hommais A generic programmable arbiter with default master grant. 749-752 2000 ISCAS https://doi.org/10.1109/ISCAS.2000.857610 conf/iscas/2000 db/conf/iscas/iscas2000.html#PetrotH00 Ludovic Jacomme Frédéric Pétrot Rajesh K. Bawa Formal Analysis of Single WAIT VHDL processes for Semantic Based Synthesis. 151-156 1999 conf/vlsid/1999 VLSI Design https://doi.org/10.1109/ICVD.1999.745140 https://doi.ieeecomputersociety.org/10.1109/ICVD.1999.745140 db/conf/vlsid/vlsid1999.html#JacommePB99 Denis Hommais Frédéric Pétrot Efficient Combinational Loops Handling for Cycle Precise Simulation of System on a Chip. 10051-10054 1998 conf/euromicro/1998 EUROMICRO https://doi.org/10.1109/EURMIC.1998.711775 https://doi.ieeecomputersociety.org/10.1109/EURMIC.1998.711775 db/conf/euromicro/euromicro1998.html#HommaisP98 Ludovic Jacomme Frédéric Pétrot Rajesh K. Bawa Formal Extraction of Memorizing Elements for Sequential VHDL Synthesis. 10317-10620 1998 conf/euromicro/1998 EUROMICRO https://doi.org/10.1109/EURMIC.1998.711818 https://doi.ieeecomputersociety.org/10.1109/EURMIC.1998.711818 db/conf/euromicro/euromicro1998.html#JacommePB98 Frédéric Pétrot Denis Hommais Alain Greiner A Simulation Environment for Core Based Embedded Systems. 86-91 1997 conf/anss/1997 Annual Simulation Symposium https://doi.org/10.1109/SIMSYM.1997.586495 https://doi.ieeecomputersociety.org/10.1109/SIMSYM.1997.586495 db/conf/anss/anss1997.html#PetrotHG97 Frédéric Pétrot Denis Hommais Alain Greiner Cycle precise core based hardware/software system simulation with predictable event propagation. 182-187 1997 conf/euromicro/1997 EUROMICRO https://doi.org/10.1109/EURMIC.1997.617257 https://doi.ieeecomputersociety.org/10.1109/EURMIC.1997.617257 db/conf/euromicro/euromicro1997.html#PetrotHG97 Marcello Duhalde Alain Greiner Frédéric Pétrot A High Performance Modular Embedded ROM Architecture. 1057-1060 1995 conf/iscas/1995 ISCAS db/conf/iscas/iscas1995-2.html#DuhaldeGP95 https://doi.org/10.1109/ISCAS.1995.519949 Alain Greiner Frédéric Pétrot Using C to write portable CMOS VLSI module generators. 676-681 1994 EURO-DAC http://dl.acm.org/citation.cfm?id=198350 conf/eurodac/1994 db/conf/eurodac/euro-dac1994.html#GreinerP94 A. Compan Alain Greiner François Pêcheux Frédéric Pétrot GENVIEW: a portable source-level debugger for macrocell generators. 408-412 1991 EURO-DAC http://dl.acm.org/citation.cfm?id=951602 conf/eurodac/1991 db/conf/eurodac/euro-dac1991.html#CompanGPP91 Ana Abril Samia Ahiad Benny Akesson Hande Alemdar Paul Amblard Hela Belhadj Amor Liliana Andrade Lorena Anghel Alexandre Arriordaz Ivan Augé Marie Badaroux Maryam Bahmani Nathan Bain Jonathan Balkind Thomas Baumela Rajesh K. Bawa Edith Beigné Mounir Benabdenbi Luigi Di Benedetto Christian Bernard Saifeddine Berrayana Roland Bohrer Louis Bonicel Aimen Bouchhima Alban Bourge Jean Bruant Jean-Yves Brunel Nicolas Brunie Nicholas H. M. CaldwellNicholas Caldwell José Cano 0001 M. Carrier Valerio Catalano Wander O. Cesário Sebastien Chabanet Alexandre Chagoya-Garzon Rim El Cheikh Hui Chen Xi Chen Séverine Cheramy Roselyne Chotin-Avot Maxime Christ Alexandre Chureau Fabien Clermidy Alain Clouard Albert Cohen 0001 Fabien Colas-Bigey A. Compan Marcello Coppola Marcos Aurélio Pinto Cunha Florian Darve Clément Deschamps Chandana S. Deshpande Benoît Dupont de Dinechin Florent de Dinechin Thomas Dombek François Donnet Florentine Dubois Marcello Duhalde Julie Dumas Yves Durand Paolo Durante Denis Dutoit Adrian Evans Christian Fabre Antoine Faravelon Etienne Faure Guy Fayolle Breytner Fernández-MesaBreytner Joseph Fernández-Mesa Eric Flamand José Flich Sahar Foroutan Anne-Marie FouilliartAnne-Marie Fouillart Nicolas Fournel Ana Belén Abril García Daniela Genius Patrice Gerin Stéphane Géronimi Marius Gligor Jean Gobert Guillaume Godet-Bar Pascal Gomez Kees Goossens Abdelaziz Goulahsen Alain Greiner Tristan GroleatTristan Groléat Olivier Gruber Xavier Guerin Roberto Guizzetti Eric Guthmuller Mian Muhammad Hamayun Khaldon Hassan Damien Hedde Christine Hennebert Denis Hommais Pierre-Henri Horrein Joel Huloux Ludovic Jacomme Axel Jantsch Ahmed Amine Jerraya Tiago T. JostTiago Trevisan Jost H. J. H. N. Kenter Erwin A. de Kock Abdellah-Medjadji Kouadri-Kouadri Abdellah-Medjadji Kouadri-Mostefaoui Lobna Kriaa Wido KruijtzerW. M. Kruijtzer Raphaël Labayrade Sofiane Lagraa Nicolas Lambelin Didier Lattard Romain Lemaire Benoit Leprettre Vincent Leroy 0001 Gian Domenico Licciardo Riccardo Locatelli Alessandro Lonardo Jérôme Martin Maxime Martin Pierre Guironnet de Massas Omayma Matoussi Habib Mehrez Quentin L. Meunier Jean Michailos Luc Michel Davy Million Carolina Miro Saverio Miroddi Alireza Monemi Amin El Mrabti Olivier Muller Perrin N. Ntafam Ali Oudrhiri Bruno Paille Eric Paire Ivan Miro Panades Pier Stanislao Paolucci L. Pasquier Danilo Pau François Pêcheux Arthur Perais Matthieu Pfeiffer Paul Pianu Andre Picco Ana Pinzari Fabien Portas Adrien Prost-Boucle Laurent Raffaëlli Khaled Rahmouni Pierre Ravenel Jean-Louis Roch Robin Rolland Davide Rossetti Xavier Rouah Franck Rousseau Frédéric Rousseau 0001 Alfredo Rubino Julien Saade Cristiano Santos Guillaume Sarrazin Jürgen SchlöffelJuergen Schloeffel Benaoumeur Senouci Abbas Sheibanyrad Hamed Sheibanyrad Hao Shen 0009 W. J. M. Smits Philippe De Souza Emilien Taly Philippe Teninge Alexandre Termier Yvain Thonnart Eduardo Tomasi César Fuguet TortoleroCésar Fuguet Pascal Urard Frédérique Vallée Emmanuel Vaumorin Arthur Vianès Piero Vicini Antonio De Vita Pascal Vivet Lee Wang Yan Xu Wassim Youssef