Çip ve elektronik sistem tasarımlarının testler, simülasyonlar, doğrulama kanıtları ve kapsama ölçütleri kullanılarak doğrulanması.
Makale, modern sistemlerin karmaşıklığının testleri ve raporları bir araya getirmeyi yetersiz hâle getirdiğini ve çip tasarım ekiplerinin gereksinimleri, ayarları, testleri ve sonuçları yaşam döngüsü boyunca birbirine bağlayan bir doğrulama ipliğine ihtiyaç duyduğunu savunuyor. Ayrıca bu yaklaşımın değerinin yalnızca araçların entegrasyonuna değil, gereksinimlerin açıklığına ve kanıtların bağlamıyla birlikte kaydedilmesine bağlı olduğunu açıklıyor.