Grant: Discovery Grants Program - Individual

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é des voitures et les systèmes biomédicaux ne sont que quelques exemples de l'importance qu'occupent ces dispositifs pour assurer l'accès à l'information et pour améliorer la sécurité et les soins de santé. De plus en plus de fonctionnalités sont intégrées dans ces circuits ce qui rend la tâche de vérification très complexe. Selon les dernières statistiques, plus de 60% des circuits intégrés fabriqués ne sont pas fonctionnels du premier coup et un retour à l'étape de conception est requise. Ce processus est long et très couteux pour les entreprises. Ce programme de recherche propose d'analyser les techniques de vérification actuelles pour élaborer une nouvelle stratégie de vérification pour les systèmes numériques complexes. Les résultats obtenus par ce programme de recherche permettront de répondre efficacement aux problèmes réels rencontrés en industrie. L'application de la méthodologie aura un impact direct sur les coûts associés à la conception et à la fabrication de circuits intégrés.