Couvre la génération de modèles vectoriels de test, la modélisation des défauts, les tests structurels et fonctionnels et la mise en œuvre de l'expansion dans le temps.
Couvre les principes fondamentaux de la logique statique, y compris l'immunité au bruit, les marges de bruit et diverses conceptions de portes logiques.