Guy Bois
Bacc., Ph.D. (Montréal)
Professeur titulaire
Département de génie informatique et génie logiciel
Département de génie informatique et génie logiciel
Domaines d'expertise
Architecture d'ordinateur et conception Systèmes intégrés à très grande échelle (VLSI)
Architecture d'ordinateur et conception Systèmes intégrés à très grande échelle (VLSI)
Intérêts de recherche et affiliations
Intérêts de recherche
-
Conception logiciel/matériel et vérification de systèmes embarqués
-
Développement d'outils pour la conception de systèmes embarqués (modélisation, simulation, exploration architecturale, partitionnement logiciel/matériel et synthèse logicielle/matérielle)
-
Conception de systèmes à base de FPGA pour traitement d'images, video, apprentissage profond, etc.
Type(s) d'expertises (sujets CRSNG)
- 2719 Architecture d'ordinateur et conception
- 2722 Systèmes intégrés à très grande échelle (VLSI)
- 2519 Microélectronique
- 2701 Matériel informatique
Publications
Publications récentes
Communication de conférence
Article de revue
Communication de conférence
Chapitre de livre
Posso, J., Bois, G. & Savaria, Y. (2022). Mobile-URSONet: an Embeddable Neural Network for Onboard Spacecraft Pose Estimation. Communication présentée à IEEE International Symposium on Circuits and Systems (ISCAS 2022), Austin, TX, USA (p. 794-798). Tiré de https://doi.org/10.1109/ISCAS48785.2022.9937721
Girard, S.R., Legault, V., Bois, G. & Boland, J.-F. (2019). Avionics Graphics Hardware Performance Prediction with Machine Learning. Scientific Programming, 2019, 15 pages. Tiré de https://doi.org/10.1155/2019/9195845
Bois, G. (2018). Specific needs for the modelling and the refinement of CPU and FPGA platforms. Communication présentée à European Network on High Performance and Embedded Architecture and Compilation (HIPEAC 2018), Manchester, England.
Jenn, E., Monteiro, F., Bois, G. & Duplantier, K. (2017). Design space exploration : the image based monitoring case. Dans Modelling and formal verification in action : the INGEQUIP Project Team.
Enseignement
Conception et vérification de systèmes embarqués. Systèmes embarqués.
Encadrement à Polytechnique
TERMINÉ
-
Thèse de doctorat (3)
- Vakili, S. (2014). Accuracy-Guaranteed Fixed-Point Optimization in Hardware Synthesis and Processor Customization (Thèse de doctorat, École Polytechnique de Montréal). Tiré de https://publications.polymtl.ca/1490
- Moss, L. (2010). Profilage, caractérisation et partitionnement fonctionnel dans une plate-forme de conception de systèmes embarqués (Thèse de doctorat, École Polytechnique de Montréal). Tiré de https://publications.polymtl.ca/338/
- Nekili, M. (1998). Synthèse de réseaux de distribution d'horloges en présence de variations du procédé de fabrication (Thèse de doctorat, École Polytechnique de Montréal).
-
Mémoire de maîtrise (50)
- Fortier, F. (2018). Estimation par analyse statique de la bande-passante d'accélérateurs en synthèse de haut niveau sur FPGA (Mémoire de maîtrise, École Polytechnique de Montréal). Tiré de https://publications.polymtl.ca/3095/
- Gauthier, E. (2017). Exploration d'une méthodologie de développement matériel et logiciel au niveau système appliqué à un système d'encodage de flux vidéo évolutif (Mémoire de maîtrise, École Polytechnique de Montréal). Tiré de https://publications.polymtl.ca/2747/
- Desaulty, A. (2016). Intégration dans un flot de conception système d'un outil de traduction assistée de code C pour la création de coprocesseurs matériels (Mémoire de maîtrise, École Polytechnique de Montréal). Tiré de https://publications.polymtl.ca/2285/
- Gaudron, M. (2016). Expérimentation d'une suite d'outils pour automatiser le passage d'une conception basée sur un modèle vers la réalisation d'une implémentation, en passant par l'exploration architecturale (Mémoire de maîtrise, École Polytechnique de Montréal). Tiré de https://publications.polymtl.ca/2078/
- Lacroix, A.B. (2016). Implémentations logicielle et matérielle de l'algorithme Aho-Corasick pour la détection d'intrusions (Mémoire de maîtrise, École Polytechnique de Montréal). Tiré de https://publications.polymtl.ca/2401/
- Rivard-Girard, S. (2015). Prédiction de performance de matériel graphique dans un contexte avionique par apprentissage automatique (Mémoire de maîtrise, École Polytechnique de Montréal). Tiré de https://publications.polymtl.ca/1907/
- Bao, L. (2014). Méthode de conception dirigée par les modèles pour les systèmes avioniques modulaires intégrés basée sur une approche de cosimulation (Mémoire de maîtrise, École Polytechnique de Montréal). Tiré de https://publications.polymtl.ca/1617
- Legault, V. (2014). Méthodologie expérimentale pour évaluer les caractéristiques des plateformes graphiques avioniques (Mémoire de maîtrise, École Polytechnique de Montréal). Tiré de https://publications.polymtl.ca/1546
- Medeiros Monteiro, F. (2013). Caractérisation automatisée de la consommation de puissance des processeurs pour l'estimation au niveau système (Mémoire de maîtrise, École Polytechnique de Montréal). Tiré de https://publications.polymtl.ca/1229
- Rogers-Vallée, M. (2012). Une méthode d'estimation de la consommation de puissance pour un système sur puce (Mémoire de maîtrise, École Polytechnique de Montréal). Tiré de https://publications.polymtl.ca/846
- Savard, J. (2012). Intégration d'un simulateur de partitionnement spatial et temporel à un flot de conception basé sur les modèles (Mémoire de maîtrise, École Polytechnique de Montréal). Tiré de https://publications.polymtl.ca/990
- Allard Bernier, J. (2011). Méthode de reconfiguration dynamique pour un réseau-sur-puce tolérant aux fautes (Mémoire de maîtrise, École Polytechnique de Montréal). Tiré de https://publications.polymtl.ca/745
- Guérard, H. (2011). Intégration d'un modèle de réseau sur puce dans un flôt de conception de niveau système (Mémoire de maîtrise, École Polytechnique de Montréal). Tiré de https://publications.polymtl.ca/751
- Bah, F.L. (2009). Conception au niveau système de l'application de protocole sans fil wimax (Mémoire de maîtrise, École Polytechnique de Montréal). Tiré de https://publications.polymtl.ca/227
- Fontaine, S. (2008). Conception et réalisation d'un outil d'exploration architecturale de la hiérarchie de mémoire d'un système sur puce afin d'optimiser la performance de la plateforme logicielle (Mémoire de maîtrise, École Polytechnique de Montréal).
- Goyette, S. (2008). Élaboration d'un modèle d'abstraction des communications point-à-point pour une plateforme (SOC) multiprocesseur hétérogène (Mémoire de maîtrise, École Polytechnique de Montréal).
- Laug, N. (2008). Gestion générique et raffinement de sytèmes électroniques à haut niveau (Mémoire de maîtrise, École Polytechnique de Montréal).
- Migliorini, C. (2008). Exploration architecturale de communications-sur-puce au niveau système (Mémoire de maîtrise, École Polytechnique de Montréal).
- Beucher, N. (2007). Conception et mise en œuvre de processeurs configurables pour la conversion de taux de trames vidéos avec compensation de mouvement (Mémoire de maîtrise, École Polytechnique de Montréal).
- Faiz, A. (2007). Méthodes de raffinement des communications pour passer d'une plate-forme systemc à un système reprogrammable (Mémoire de maîtrise, École Polytechnique de Montréal).
- Hubin, M. (2006). Modélisation et conception d'une architecture à flots d'exécution multiples selon une approche de réutilisation (Mémoire de maîtrise, École Polytechnique de Montréal).
- Mahoney, P. (2006). Conception d'une architecture alternative à la technologie "mémoire adressable par contenu" (Mémoire de maîtrise, École Polytechnique de Montréal).
- Morin, B. (2006). Parallélisme sur plateforme reconfigurable de calcul à mémoire répartie (Mémoire de maîtrise, École Polytechnique de Montréal).
- Provost, S. (2006). Accélération d'une plateforme d'encodage MPEG-4 à l'aide de processeurs configurables (Mémoire de maîtrise, École Polytechnique de Montréal).
- Samson, P. (2006). Abstraction de la synchronisation dans une stratégie de co-design logiciel/matériel sur une plateforme (SOC) multiprocesseur (Mémoire de maîtrise, École Polytechnique de Montréal).
- St-Pierre, F. (2006). Implémentation matérielle d'un réseau sur puce et analyse du fonctionnement dans un environnement multiprocesseurs (Mémoire de maîtrise, École Polytechnique de Montréal).
- Thibeault, J.-F. (2006). Exploration de techniques de modélisation et de vérification logicielle en avionique (Mémoire de maîtrise, École Polytechnique de Montréal).
- Catudal, S. (2005). Méthodologie orientée performance applicable à la validation d'algorithmes de traitement vidéo et de leur implémentation matérielle (Mémoire de maîtrise, École Polytechnique de Montréal).
- Deslauriers, F. (2005). Modélisation d'un réseau intégré sur puce basé sur une architecture en anneau (Mémoire de maîtrise, École Polytechnique de Montréal).
- Pierron, L. (2005). Méthodologie de codesign pour les systèmes sur puce programmable (Mémoire de maîtrise, École Polytechnique de Montréal).
- Benny, O. (2004). Implémentation d'un modèle de communication transactionnel dans une plate-forme en SystemC (Mémoire de maîtrise, École Polytechnique de Montréal).
- Dubois, M. (2004). Modélisation et conception d'une plate-forme de traitement et transmission de signaux vidéo numériques (Mémoire de maîtrise, École Polytechnique de Montréal).
- Lavigueur, B. (2004). Multitraitement et processeurs configurables sur une plate-forme de haut niveau (Mémoire de maîtrise, École Polytechnique de Montréal).
- Rondonneau, M. (2004). Intégration d'un RTOS dans une plate-forme SystemC destinée à l'exploration architecturale (Mémoire de maîtrise, École Polytechnique de Montréal).
- Bertola, M. (2003). Conception, réalisation et étude d'une plate-forme générique basée sur le protocole AMBA AHB (Mémoire de maîtrise, École Polytechnique de Montréal).
- Lemire, J.-F. (2003). Synthèse assistée de moniteurs d'assertions à partir d'une méthodologie d'encapsulation d'assertions dans une spécification exécutable (Mémoire de maîtrise, École Polytechnique de Montréal).
- Quinn, D. (2003). Exploration architecturale pour la conception de processeurs réseaux basée sur l'utilisation de processeurs configurables (Mémoire de maîtrise, École Polytechnique de Montréal).
- Regimbal, S. (2003). Méthode de réutilisation et de couverture pour la vérification fonctionnelle des circuits numériques (Mémoire de maîtrise, École Polytechnique de Montréal).
- Wang, J. (2003). Reuse and automatic generation of testbenches for effective hardware verifiction (Mémoire de maîtrise, École Polytechnique de Montréal).
- Filion, L. (2002). Analyse, implantation et intégration d'une bibliothèque pour la spécification des systèmes embarqués dans une méthodologie de codesign (Mémoire de maîtrise, École Polytechnique de Montréal).
- Cyr, G. (2001). Interface configurable pour un processeur ARM basée sur le protocole VCI (Mémoire de maîtrise, École Polytechnique de Montréal).
- Héneault, Y. (2001). Picasso : un outil de co-design matériel/logiciel pour la conception de systèmes embarqués (Mémoire de maîtrise, École Polytechnique de Montréal).
- Yuan, P. (2001). A fixed-point simd array processor and its applications to video compression coding (Mémoire de maîtrise, École Polytechnique de Montréal).
- Campagna, I. (2000). Développement d'une méthodologie de codesign matériel/logiciel pour des applications de communications à haute vitesse (Mémoire de maîtrise, École Polytechnique de Montréal).
- Le Chapelain, B. (1999). Conception d'une bibliothèque et d'un convolueur 3*3TSPC (Mémoire de maîtrise, École Polytechnique de Montréal).
- Guénette, J. (1996). Une méthode de multi-partitionnement de circuits VLSI en vue d'un placement et routage (Mémoire de maîtrise, École Polytechnique de Montréal).
- Haddad, M.T. (1996). Réalisation mixte matérielle/logicielle d'un algorithme de routage pour réseaux locaux (Mémoire de maîtrise, École Polytechnique de Montréal).
- Bosi, B. (1995). Méthodes de conception de convolueurs dédiés et reconfigurables (Mémoire de maîtrise, École Polytechnique de Montréal).
- Belhabla, H. (1994). L'utilisation des plans statistiques d'expérimentation pour la validation d'un système expert (Mémoire de maîtrise, École Polytechnique de Montréal).
- Merabet Kroumba, S. (1994). Synthèse de très haut niveau d'architectures parallèles pour des algorithmes exprimés en langage évolué (Mémoire de maîtrise, École Polytechnique de Montréal).