Média
Partenaires
Recherche
Chercheurs

Boland, Jean-François
École de technologie supérieure
Membre associé

Description du programme de recherche

Les circuits intégrés font maintenant partie du quotidien des individus et des entreprises dans tous les secteurs économiques. Les ordinateurs, les téléphones cellulaires, les systèmes de sécurité, les appareils biomédicaux, ne sont que quelques exemples de l’importance qu’occupent ces dispositifs pour assurer l’accès à l’information et améliorer la sécurité et les soins de santé. La complexité des circuits intégrés ne cesse d’augmenter à un rythme effréné. Selon la loi de Moore, le nombre de transistors par cm2 que l’on peut intégrer sur un circuit double tout les 18 mois. À ce rythme, la loi de Moore prédit que la capacité à fabriquer atteindra 100 milliards de transistors en 2020.
Il existe toutefois un large écart entre notre capacité théorique de fabrication sur silicium et notre capacité réelle à concevoir et à vérifier. L’augmentation du nombre de transistors sur une puce fait surgir un problème : La vérification. Près de 60 % des circuits fabriqués comportent des erreurs de design et sont non fonctionnels à leur première itération. Il faut donc faire plusieurs essais de fabrication avant d’en arriver à un résultat satisfaisant. Cette réalité résulte principalement d’un retard marqué des méthodes de vérification.
Le présent programme de recherche se divise en deux axes principaux : la vérification fonctionnelle des circuits et systèmes et la conception électronique au niveau système.
1. Vérification fonctionnelle des circuits et systèmes
• Vérification par transactions
• Vérification formelle
• Vérification par assertions
• Réutilisation des bancs de tests à différents niveaux d’abstraction
2. Conception au niveau système
• Modélisation système avec le langage SystemC
• Optimisation des architectures multiprocesseurs

Collaboration au sein du ReSMiQ

Audet, Yves - Polytechnique Montréal
Bois, Guy - Polytechnique Montréal
Fontaine, Réjean - Université de Sherbrooke
Gagnon, François - École de technologie supérieure
Savaria, Yvon - Polytechnique Montréal
Thibeault, Claude - École de technologie supérieure

Collaboration hors ReSMiQ

, -Bombardier aérospatial
, - CAE
, -CMC Électronique
, -

Coordonnées:

École de technologie supérieure
Département de génie Électrique
1100, Notre-Dame O. bureau A-2748
Montréal (Québec) H3C 1K3
Canada
Téléphone: (514) 396-8426
Télécopieur: (514) 396-8684
Adresse de courrier électronique: jean-francois.boland@etsmtl.ca