테스트, 시뮬레이션, 검증 증명 및 커버리지 지표를 사용하여 칩과 전자 시스템 설계를 검증하는 것.
이 글은 현대 시스템의 복잡성으로 인해 테스트와 보고서를 단순히 취합하는 것만으로는 충분하지 않으며, 칩 설계팀에는 수명 주기 전반에서 요구사항과 설정, 테스트 및 결과를 연결하는 검증 스레드가 필요하다고 주장한다. 또한 이러한 접근 방식의 가치는 도구 통합 자체가 아니라 요구사항의 명확성, 증거와 그 맥락의 기록에 달려 있다고 설명한다.