التحقق من تصميمات الرقائق والأنظمة الإلكترونية باستخدام الاختبارات والمحاكاة وأدلة التحقق ومقاييس التغطية.
تجادل المادة بأن تعقيد الأنظمة الحديثة جعل تجميع الاختبارات والتقارير غير كافٍ، وأن فرق تصميم الرقائق تحتاج إلى خيط تحقق يربط المتطلبات بالإعدادات والاختبارات والنتائج عبر دورة الحياة. وتوضح أن قيمة هذا النهج تعتمد على وضوح المتطلبات وتسجيل الأدلة وسياقها، لا على تكامل الأدوات وحده.