Digitaalsüsteemide keerukuse tõttu tuleb nende diagnostiliseks analüüsiks (testide genereerimiseks, rikete simuleerimiseks ja diagnostikaks) kasutada mitmetasemelisi mudeleid. Ettekandes käsitletakse otsustusdiagrammide mudelit, mis võimaldab ühtset lähenemist süsteemide diagnostilisele modelleerimisele nii struktuursel loogikatasandil, funktsionaalsel register-edastuste tasandil kui ka käitumuslikul käsusüsteemi tasandil. Otsustusdiagrammide erijuhuks on BDD-d loogikafunktsioonide esitamiseks. Vaadeldakse struktuurselt sünteesitud BDD-sid (SSBDD) kui BDD-de eri tüüpi, mis võimaldavad ühtaegu esitada nii digitaalskeemi funktsioone kui ka tema struktuuseid omadusi.