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.

Popis anglicky
The project deals with develop a method for generation of synthetic benchmark circuits on register transfer level. In the project, the new approach, which utilizes evolutionary techniques for design a benchmark circuits with predefined structure and diagnostic properties (in terms of controllability and observability) is presented. Graph representation of the circuit is used for generation of benchmark circuits and circuit structure analysis. Testability analysis is performed by testability analysis tool developed on FIT BUT. The output of developed tool is in form of circuit described in synthesisable VHDL code.

Klíčová slova
testovací obvody, evoluční návrh, evoluční programování

Klíčová slova anglicky
benchmark circuits, evolutionary design, evolutionary programming

FR3041/2005/G1

čeština

Pečenka Tomáš, Ing., Ph.D. - hlavní řešitel

Ústav počítačových systémů
- odpovědné pracoviště (1.1.1989 - nezadáno)
Výzkumná skupina Spolehlivé číslicové systémy
- interní (4.5.2004 - 31.12.2005)
Ústav počítačových systémů
- spolupříjemce (4.5.2004 - 31.12.2005)

Odpovědnost: Pečenka Tomáš, Ing., Ph.D.