Detail publikace

Prostředky a metody pro automatické generování testovacích obvodů

PEČENKA, T.

Originální název

Prostředky a metody pro automatické generování testovacích obvodů

Anglický název

Tools and methods for automatic development of benchmark circuits

Typ

kniha odborná

Jazyk

čeština

Originální abstrakt

Tato práce se zabývá návrhem metody vhodné pro automatické vytváření testovacích obvodů s požadovanými diagnostickými vlastnostmi. Navržená metoda, založená na využití evolučního návrhu, představuje nový přístup k vytváření testovacích obvodů. Jejich návrh je v této práci realizován jako optimalizační proces, kde optimalizačním kritériem jsou vlastnosti obvodu z hlediska struktury spojů a diagnostických vlastností. Pro ohodnocení těchto vlastností byly vytvořeny algoritmy, které pracují nad formálním modelem struktury číslicového obvodu zavedeným v této práci. Součástí práce je také poměrně rozsáhlé experimentální ověření, které bylo realizováno pomocí profesionálních nástrojů firmy Mentor Graphics. V současné době neexistuje v oblasti evolučního návrhu obvodů metoda, která by umožňovala realizovat návrh obdobně složitých obvodů s požadovanými diagnostickými vlastnostmi.

Anglický abstrakt

In the book, a method which can be used to develop benchmark circuits with required diagnostic properties is described. The method uses genetic algorithm and represents a new approach to the process of developing benchmark circuits for diagnostic purposes. In the design, optimatization procedures are used, the structure of the circuit and diagnostic properties of components being the optimatization criteria. To assess these factors, algorithms were developed which operate on a formal model introduced in the book. Comprehensive experimental results are also presented in the book, Mentor Graphics professional tools were used for this purpose. At present, there is no available methodology in the area of evolutionary design which allows to create circuits of comparable complexity with required diagnostic properties.  

Klíčová slova

Sady testovacích obvodů, syntetické testovací obvody, evoluční návrh, analýza testovatelnosti, evoluční programování, úroveň meziregistrových přenosů, diagnostika číslicových obvodů, model obvodu, hierarchický test

Klíčová slova v angličtině

Sets of benchmark circuits, synthetic benchmark circuits, evolutionary design, testability analysis, evolutionary programming, register transfer level, digital circuits testing, circuit model, hierarchical test

Autoři

PEČENKA, T.

Rok RIV

2008

Vydáno

20. 3. 2008

Nakladatel

Fakulta informačních technologií VUT v Brně

Místo

Brno

ISBN

978-80-214-3603-9

Číslo edice

1.

Strany počet

141

BibTex

@book{BUT61937,
  author="Tomáš {Pečenka}",
  title="Prostředky a metody pro automatické generování testovacích obvodů",
  year="2008",
  publisher="Fakulta informačních technologií VUT v Brně",
  address="Brno",
  edition="1.",
  pages="141",
  isbn="978-80-214-3603-9"
}