Vérification de la conception des puces et des systèmes électroniques à l’aide de tests, de simulations, de preuves de vérification et de métriques de couverture.
L’article soutient que la complexité des systèmes modernes a rendu insuffisant le regroupement des tests et des rapports, et que les équipes de conception de puces ont besoin d’un fil de vérification reliant les exigences, les configurations, les tests et les résultats tout au long du cycle de vie. Il explique que la valeur de cette approche dépend de la clarté des exigences ainsi que de l’enregistrement des preuves et de leur contexte, et non de la seule intégration des outils.