Publikácia je zameraná na témy z oblasti testovania, diagnostiky a verifikácie digitálnych obvodov i integrovaných systémov. Rozdelená je do dvanástich kapitol, v ktorých podáva ucelený pohľad na testovanie digitálnych integrovaných systémov, opis metód a algoritmov zaužívaných pri vytváraní kvalitných testov, a to na testovanie aj na verifikáciu. Publikácia je určená predovšetkým študentom bakalárskeho štúdia na FIIT STU pre predmet Diagnostika digitálnych systémov. Testovanie, diagnostika a verifikácia digitálnych systémov - Elena Gramatová, Katarína Jelemenská od authora Elena Gramatová, Katarína Jelemenská a nakladatelství za skvělé ceny na e-shopu Martinus. cz.