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

Evolutionary Design of Benchmark Circuits

grant

testovací obvody, evoluční návrh, evoluční programování

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.

Pečenka Tomáš, Ing., Ph.D. – hlavní řešitel
Kotásek Zdeněk, doc. Ing., CSc.