Colloque

Utilisation des tests structurels dans la vérification fonctionelle

Christelle Hobeika

Jean-François Boland

Claude Thibeault

Membre a labase

Christelle Hobeika

Résumé de la communication

La vérification fonctionnelle s’avère une phase critique dans le flux de conception. A ce niveau, les technologies actuelles sont incapables de relever les défis posés par la complexité des "design". Alors que, au niveau du test structurel, les techniques sont améliorées et entièrement automatisées permettant de tester des circuits complexes en quelques secondes et de couvrir la majorité des noeuds sans effort. Dans cette affiche, nous établissons les relations existantes entre les "Dark corners" (nœuds difficiles a vérifier) niveau RTL, et les "hard faults" (nœuds difficiles a tester) niveau portes logiques. Nous explorons de même la réutilisation des vecteurs de test structurel dans le processus de la vérification. Finalement, les résultats sont comparés à des techniques de vérification bien connues.

Résumé du colloque

Notre colloque accueillera un conférencier invité de marque, expert reconnu internationalement et chef de fil dans l’un des thèmes liés au sujet principal. Ceci permettra de hausser le calibre du colloque et s’assurer d’une participation maximale de nos membres et leurs étudiants aux cycles supérieurs, ainsi que de la part de tous ceux qui sont impliqués dans la recherche tant au niveau académique qu’industriel.