Supervision : Alain GREINER

Outils d'aide au développement de bibliothèques VLSI portables

2 PhD graduated 2001 - 2006

1997-2017 Publications

• 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”, 9^th 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”, 2^nd 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”, 9^th 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 - 5^es 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 - 10^th 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, phd defence 06/18/2003 (2003)
  • I. Augé, F. Donnet, F. Pétrot : “Retiming Finite State Machines to Control Hardened Data-Paths”, SBCCI 2003 - 16^th 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 5^th 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”, 4^e 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”, 12^th 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”, 9^th 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”, 37^th 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”, 3^es 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”, 12^th 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”, 5^th 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”, 24^th 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”, 4^th 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”, 23^rd 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”, 21^st 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”, 30^th 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”, 1^er Colloque CAO de Circuits Intégrés et Systèmes, Grenoble, France, pp. 66-69 (1997)