Bois, Guy
Polytechnique Montréal
Membre associé
Description du programme de recherche
Synthèse niveau système :
Nous travaillons au développement de méthodes modernes de conception et de vérification conjointe logiciel/matériel. Plus particulièrement, ses travaux visent à solutionner quatre problèmes importants:
1) Exploration architecturale incluant le partitionnement logiciel/matériel
2) Le raffinement de la spécification incluant la cosynthèse conjointe logicielle/matérielle.
3) Également, nous mettons l’emphase sur la réutilisation des composants logiciel et matériels (IP reusing) afin de réduire le temps alloué au développement.
4) La vérification fonctionnelle des systèmes embarqués
Collaboration au sein du ReSMiQ
Aboulhamid, El Mostapha
- Université de Montréal
Langlois, Pierre
- Polytechnique Montréal
Savaria, Yvon
- Polytechnique Montréal
Tahar, Sofiène
- Université Concordia
Coordonnées:
Polytechnique Montréal
Département de génie informatique
C.P. 6079, Succ. Centre-ville, bureau M-4115
Montréal ( Québec) H3C 3A7
Canada
Téléphone: (514) 340-4711 poste 5944
Télécopieur: (514) 340-5139
Adresse de courrier électronique: bois@vlsi.polymtl.ca