PÉTROT Frédéric
Direction de recherche : Alain GREINER
Outils d'aide au développement de bibliothèques VLSI portables
Soutenance : 08/07/1994
Membres du jury :
M. Weinfeld
J.-C. Dufourd
J.-P. Schoellkopf
B. Courtois
A. Greiner
M. Robert
J.-P. Tual
Publications 1997-2017
-
2017
- H. Bel Hadj Amor, A. Sheibanyrad, F. Pétrot : “A Distributed NUCA Architecture Using an Efficient NoC Multicasting Support”, Euromicro Conference on Digital System Design (DSD 2017), Vienne, Austria, pp. 184-191, (IEEE) (2017)
- H. Bel Hadj Amor, A. Sheibanyrad, F. Pétrot : “A Meta-Routing Method to Create Multiple Virtual Logical Networks on a Single Hardware NoC”, 2017 IEEE Computer Society Annual Symposium on VLSI (ISVLSI), Bochum, Germany, pp. 200-205, (IEEE) (2017)
-
2016
- P. VIVET, Y. Thonnart, R. Lemaire, C. Santos, E. Beigne, Ch. Bernard, F. Darve, D. Lattard, I. Miro‑Panades, D. Dutoit, F. Clermidy, S. Chéramy, A. Sheibanyrad, F. Pétrot, E. Flamand, J. Michailos, A. Arriordaz, L. Wang, J. Schloeffel : “A 4 x 4 x 2 Homogeneous Scalable 3D Network-on-Chip Circuit With 326 MFlit/s 0.66 pJ/b Robust and Fault Tolerant Asynchronous 3D Links”, IEEE Journal of Solid-State Circuits, vol. 52 (1), pp. 33-49, (Institute of Electrical and Electronics Engineers) (2016)
-
2014
- S. Foroutan, A. Sheibanyrad, F. Pétrot : “Assignment of Vertical Links to Routers in Vertically-Partially-Connected 3D-NoCs”, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 33 (8), pp. 1208-1218, (IEEE) (2014)
-
2011
- Quentin L. Meunier, F. Pétrot : “Systèmes de mémoire transactionnelle pour les architectures à base de NoC Conception, implémentation et comparaison de deux politiques”, Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, vol. 30 (9), pp. 1061-1087, (Lavoisier) (2011)
-
2010
- Quentin L. Meunier, F. Pétrot, J.‑L. Roch : “Hardware/software support for adaptive work-stealing in on-chip multiprocessor”, Journal of Systems Architecture, vol. 56 (08), pp. 392-406, (Elsevier) (2010)
- Quentin L. Meunier, F. Pétrot : “Lightweight Transactional Memory systems for NoCs based architectures: Design, implementation and comparison of two policies”, Journal of Parallel and Distributed Computing, vol. 70 (10), pp. 1024-1041, (Elsevier) (2010)
-
2009
- F. Pétrot, Quentin L. Meunier : “Design and Use of Transactional Memory in MPSoCs”, 9th International Seminar on Application Specific Multiprocessor SoC, Savanah, Georgia, United States (2009)
- Quentin L. Meunier, F. Pétrot : “LightTM : Une Mémoire Transactionnelle conçue pour les MPSoCs”, Symposium en Architecture de machines (SympA'13), Toulouse, France, pp. 1-12 (2009)
- Quentin L. Meunier, F. Pétrot : “Lightweight Transactional Memory Systems for Large Scale Shared Memory MPSoCs”, NEWCAS – TAISA'09 Conference, Toulouse, France, pp. 432-435, (IEEE Computer Society) (2009)
-
2008
- A. Abril Garcia, H. Mehrez, F. Pétrot, J. Gobert, C. Miro : “Estimation et optimisation de la consommation dans les SoC utilisant la simulation précise au cycle”, Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, vol. 27 (1-2), pp. 203-233, (Lavoisier) (2008)
- I. Augé, F. Pétrot : “User Guided High Level Synthesis”, chapitre de High Level Synthesis, from Algorithm to Digital Circuit, pp. 171-196, (Springer) (2008)
-
2006
- A. Greiner, F. Pétrot, M. Carrier, M. Benabdenbi, R. Chotin‑Avot, R. Labayrade : “MP-SoC Architecture for an Obstacle Detection Application in Pre-Crash Situation”, 2nd International Workshop on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC'06), Montpellier, France, pp. 24-30, (Université Montpellier II) (2006)
- F. Pétrot, A. Greiner, P. Gomez : “On cache coherency and memory consistency issues in NoC based shared memory multiprocessor SoC architectures”, 9th EUROMICRO Conference on Digital System Design (DSD'06), Dubrovnik, Croatia, pp. 53-60, (IEEE Computer Society) (2006)
- A. Greiner, F. Pétrot, M. Carrier, M. Benabdenbi, R. Chotin‑Avot, R. Labayrade : “Mapping an obstacles detection, stereo vision-based, software application on a multi-processor system-on-chip”, IV 2006 - IEEE Intelligent Vehicles Symposium, Tokyo, Japan, pp. 370-376, (IEEE) (2006)
-
2005
- A. Abril Garcia, H. Mehrez, F. Pétrot, J. Gobert, C. Miro : “Energy Estimation and Optimisation of Embedded Systems using Cycle Accurate Simulation”, FTFC 2005 - 5es Journées d'études Faible Tension Faible Consommation, Paris, France, pp. 29-32 (2005)
- D. Zaoui, F. Pétrot, R. Labayrade : “Intégration système d’une application de détection d’obstacles par stéréovision”, SympA 2005 - Symposium en Architecture de Machines, Le Croisic, France, pp. 183-194 (2005)
- A. Abril Garcia, H. Mehrez, F. Pétrot, J. Gobert, C. Miro : “Energy estimation and optimization in architectural descriptions of complex embedded systems”, Microtechnologies for the New Millennium 2005 : VLSI Circuits and Systems, vol. 5837, SPIE Proceedings, Sevilla, Spain, pp. 456-466, (SPIE) (2005)
- A. Abril Garcia, H. Mehrez, F. Pétrot, J. Gobert, C. Miro : “A High Level SoC Energy Analysis Method with Good Accuracy Using Cycle Accurate Simulation”, IEEE Symposium on low power and high-speed chips (COOL Chips VIII), Yokohama, Japan, pp. 195, (IEEE) (2005)
- I. Augé, F. Pétrot, F. Donnet, P. Gomez : “Platform-based design from parallel C specifications”, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 24 (12), pp. 1811-1826, (IEEE) (2005)
-
2004
- R. Buchmann, A. Greiner, F. Pétrot : “Fast Cycle Accurate Simulation To Simulate Event-Driven Behavior”, ICEEC 2004 - International Conference on Electrical Electronic and Computer Engineering, Cairo, Egypt, pp. 37-40, (IEEE) (2004)
- S. Berrayana, E. Faure, D. Genius, F. Pétrot : “Modular on chip multi processor for routing applications”, Euro-Par 2004 - 10th European Conference on Parallel computing, vol. 3149, Lecture Notes in Computer Science, Pise, Italy, pp. 847-855, (Springer) (2004)
- I. Augé, F. Pétrot, R. Buchmann, F. Donnet, P. Gomez, E. Faure : “Disydent : un environnement pour la conception de systèmes numériques synchrones”, SCS congrès international de Signaux Circuits et Systèmes, Monastir, Tunisia, pp. 72-77 (2004)
- I. Augé, F. Pétrot, R. Buchmann, F. Donnet, P. Gomez, E. Faure : “Intégration sur plate-forme matérielle/logicielle de spécifications C parallèles”, Annals of Telecommunications - annales des télécommunications, vol. 59 (7-8), pp. 807-837, (Springer) (2004)
-
2003
- F. Pétrot : “Intégration des systèmes matériel/logiciel”, habilitation à diriger des recherches, soutenance 18/06/2003 (2003)
- I. Augé, F. Donnet, F. Pétrot : “Retiming Finite State Machines to Control Hardened Data-Paths”, SBCCI 2003 - 16th Symposium on Integrated Circuits and Systems Design, Sao Paulo, Brazil, pp. 41-47, (IEEE) (2003)
- F. Pétrot, P. Gomez : “Lightweight Implementation of the POSIX Threads API for an On-Chip MIPS Multiprocessor with VCI Interconnect”, Design Automation and Test in Europe Conference (DATE'2003) Embedded Software Forum, Munich, Germany, pp. 51-56, (IEEE) (2003)
- F. Pétrot, P. Gomez, D. Hommais : “Lightweight implementation of the POSIX threads API for an On-Chip MIPS multiprocessor with VCI interconnect”, chapter in Embedded Software for SoC, pp. 25-38, (Springer) (2003)
-
2002
- G.‑B. Abril, J. Gobert, Th. Dombek, H. Mehrez, F. Pétrot : “Energy Estimations in High Level Cycle-Accurate Descriptions of Embedded Systems”, The 5th IEEE Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS'2002), Brno, Czechia, pp. 228-235 (2002)
- E. Encrenaz, A. Munier, F. Pétrot : “Minimisation de la taille des buffers entre tâches communicantes pour la conception de composants embarqués”, 4e Congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2002), Paris, France, pp. 230 (2002)
- P. Gomez, F. Pétrot, D. Hommais : “Mutek: un noyau multi-tâches/multi-processeurs SMP pour systèmes embarqués”, Troisième Colloque du GDR CAO de circuits et systèmes intégrés, Paris, France, pp. 107-110 (2002)
- R. Buchmann, F. Pétrot, A. Greiner : “Pilotage événementiel versus ordonnancement statique”, Troisième colloque du GDR CAO de circuits et systèmes intégrés, Paris, France, pp. 151-154 (2002)
-
2001
- D. Hommais, F. Pétrot, I. Augé : “A Toolbox to Map System Level Communications on HW/SW Architectures”, 12th International Workshop on Rapid System Prototyping, Monterey, CA, United States, pp. 77-82, (IEEE) (2001)
- D. Hommais, F. Pétrot, I. Augé : “A Practical Toolbox for System Level Communication Synthesis”, 9th International Symposium on Hardware/Software Co-design, Copenhagen, Denmark, pp. 48-53, (IEEE) (2001)
- I. Augé, F. Pétrot, D. Hommais : “A Pragmatic Approach To The Design of Embedded Systems”, Design Automation and Test in Europe, Munich, Germany, pp. 170-174 (2001)
-
2000
- J.‑Y. Brunel, W. Kruijtzer, A. Kenter, F. Pétrot, L. Pasquier, E. De Kock, W. Smits : “COSY Communication IP’s”, 37th Design Automation Conference (DAC2000), Los Angeles, CA, United States, pp. 406-409, (ACM) (2000)
- F. Pétrot, D. Hommais : “A Generic Programmable Arbiter with Default Master Grant”, IEEE International Symposium on Circuits and Systems (ISCAS 2000), Geneva, Switzerland, pp. 749-752, (IEEE) (2000)
- D. Hommais, F. Pétrot, I. Augé : “Une approche pour la conception des systèmes intégrés”, 3es Journées Nationales du Réseau Doctoral de Micro-électronique (JNRDM 2000), Montpellier, France, pp. 76-77 (2000)
-
1999
- F. Pétrot : “Cycle Accurate System Simulation”, Medea-Esprit Conference, Antwerpen, Belgium (1999)
- J.‑Y. Brunel, Y. Watanabe, L. Lavagno, F. Pétrot : “COSY : levels of interfaces for modules used to create a video system on chip”, Business and work in the information society: new technologies and applications (EMMSEC'99), Stockholm, Sweden, pp. 772-778, (IOS Press) (1999)
- D. Hommais, F. Pétrot : “Une gestion efficace des boucles combinatoires pour la simulation au cycle près de systèmes matériel-logiciel”, Colloque CAO de Circuits Intégrés et Systèmes GDR 732, Aix-en-Provence, France, pp. 266-269 (1999)
- L. Jacomme, F. Pétrot, Rajesh K. Bawa : “Formal Analysis of Single Wait VHDL processes for Semantic Based Synthesis”, 12th IEEE International Conference on VLSI Design, Goa, India, pp. 151-156, (IEEE) (1999)
- F. Dromard, Y. Body, M.‑M. Paget, A. Greiner, P. Bazargan Sabet, F. Pétrot : “Interactive Learning of Processor Architecture”, 5th International Conference on Computer Aided Engineering Education (CAEE'99), Sofia, Bulgaria, pp. 123-129 (1999)
-
1998
- F. Wajsbürt, F. Pétrot, K. Dioury : “Transistor Controlled Slew Rate Process Independent PCI Compliant I/O Buffer with Possible Power/Delay Trade-off”, Microelectronics Journal, vol. 29 (10), pp. 733-740, (Elsevier) (1998)
- D. Hommais, F. Pétrot : “Efficient Combinational Loops Handling for Cycle Precise Simulation of System on a Chip”, 24th EUROMICRO International Conference on Digital Sytems, Vasteras, Sweden, pp. 51-54, (IEEE) (1998)
- L. Jacomme, F. Pétrot, Rajesh K. Bawa : “Formal Extraction of Memorizing Elements for Sequential VHDL Synthesis”, IEEE/EUROMICRO'98 International Conference on Digital Sytems, Vasteras, Sweden, pp. 317-320, (IEEE) (1998)
- Y. Body, F. Dromard, A. Greiner, M.‑M. Paget, F. Pétrot : “SIMIPS : a cycle-precise interactive simulator for teaching microprocessor architecture”, Fourth International Conference on Computer Aided Learning and Instruction in Science and Engineering (CALISCE'98), Götborg, Sweden, pp. 146-154 (1998)
-
1997
- J. Dunoyer, F. Pétrot, L. Jacomme : “Limitations of Logarithmic Encodings for Low Power Finite State Machines”, 4th IEEE International Conference on Electronics Circuits and Systems (ICECS'97), Cairo, Egypt, pp. 522-528 (1997)
- J. Dunoyer, F. Pétrot, L. Jacomme : “Stratégie de codage des automates pour les applications basse-consommation : expérimentations et interprétation”, Journées Faible Tension Faible Consommation, Paris, France (1997)
- F. Pétrot, D. Hommais, A. Greiner : “Cycle Precise Core Based Hardware/Software System Simulation with Predictable Event Propagation”, 23rd Euromicro Conference, Budapest, Hungary, pp. 182-187, (IEEE) (1997)
- F. Wajsbürt, K. Dioury, F. Pétrot : “Low Power, Process Independent, Full Transistor Controlled Slew Rate, PCI Compliant I/O pads”, 21st International Conference on Microelectronics, Nis, Serbia, pp. 811-814, (IEEE) (1997)
- I. Augé, Rajesh K. Bawa, P. Guerrier, A. Greiner, L. Jacomme, F. Pétrot : “User Guided High Level Synthesis”, International Conference on Very Large Scale Integration (VLSI'97), IFIP - The International Federation for Information Processing, Gramado, Brazil, pp. 464-475, (Springer) (1997)
- J. Dunoyer, F. Pétrot, L. Jacomme : “Intrinsic Limitations of Logarithmic Encodings for Low Power Finite State Machines”, Mixed Design of VLSI Circuits Conference, Poznan, Poland, pp. 613-618 (1997)
- F. Pétrot, D. Hommais, A. Greiner : “A Simulation Environment for Core Based Embedded Systems”, 30th Annual Simulation Symposium, Atlanta, Georgia, United States, pp. 86-91, (IEEE) (1997)
- D. Hommais, A. Greiner, F. Pétrot : “Un environnement de simulation pour les systèmes embarqués”, 1er Colloque CAO de Circuits Intégrés et Systèmes, Grenoble, France, pp. 66-69 (1997)