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ů

Český název

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

Typ

kniha odborná

Jazyk

cs

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.

Český 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.

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

Rok RIV

2008

Vydáno

20.03.2008

Nakladatel

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

Místo

Brno

ISBN

978-80-214-3603-9

Edice

NEUVEDEN

Číslo edice

1.

Strany počet

141

Dokumenty

BibTex


@book{BUT61937,
  author="Tomáš {Pečenka}",
  title="Prostředky a metody pro automatické generování testovacích obvodů",
  annote="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.",
  address="Fakulta informačních technologií VUT v Brně",
  chapter="61937",
  edition="NEUVEDEN",
  howpublished="print",
  institution="Fakulta informačních technologií VUT v Brně",
  year="2008",
  month="march",
  pages="0--0",
  publisher="Fakulta informačních technologií VUT v Brně",
  type="book"
}