Evoluční návrh testovacích obvodů

Tento projekt se zabývá návrhem nástroje pro generování syntetických testovacích
obvodů na úrovni meziregistrových přenosů. V návrhu projektu je prezentován nový,
dosud nepublikovaný přístup, který využívá evolučních technik pro generování
testovacích obvodů s požadovanou strukturou a diagnostickými vlastnostmi
(parametry řiditelnosti a pozorovatelnosti uzlů obvodu). Generování obvodu bude
realizováno nad grafovou reprezentací obvodu. Pro analýzu strukturálních
vlastností obvodů budou použity grafové algoritmy. Analýza testovatelnosti obvodu
bude realizována pomocí nástroje pro analýzu testovatelnosti vyvinutého na FIT
VUT v Brně. Výstupem navrženého nástroje bude strukturou popsaný obvod na úrovni
meziregistrových přenosů zapsaný syntetizovatelným VHDL kódem.