Проверка проектирования микросхем и электронных систем с использованием тестирования, моделирования, планов верификации и показателей покрытия.
В материале утверждается, что сложность современных систем сделала недостаточными объединение тестов и отчетов, а командам разработчиков микросхем необходима нить верификации, связывающая требования, настройки, тесты и результаты на протяжении жизненного цикла. В нем объясняется, что ценность такого подхода зависит от ясности требований, регистрации доказательств и их контекста, а не только от интеграции инструментов.