Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail publikace
PEČENKA, T.
Originální název
Prostředky a metody pro automatické vytváření testovacích obvodů
Anglický název
Method for Automatic Design of Benchmark Circuits
Typ
článek ve sborníku mimo WoS a Scopus
Jazyk
čeština
Originální abstrakt
Příspěvek se zabývá metodou evolučního návrhu syntetických testovacích obvodů s požadovanými diagnostickými vlastnostmi. Na začátku práce je krátce popsán navržený formální model struktury číslicového obvodu na úrovni meziregistrových přenosů. Dále je představena samotná metoda návrhu syntetických obvodů a s využitím zavedeného formálního modelu je popsán postup ohodnocení kvality kandidátního obvodu. Podrobněji je představena zejména metoda analýzy testovatelnosti a identifikace bezkonfliktních i-cest v obvodu.
Anglický abstrakt
In the paper a method for evolutionary design of benchmark circuits with predefined diagnostic properties is presented. At the beginning of the paper a developed formal model of structurally described digital circuit structure is introduced. Next, a method for design synthetic benchmark circuits is described with utilization of introduced formal model.
Klíčová slova
testovací obvod, evoluční návrh
Klíčová slova v angličtině
benchmark circuit, evolutionary design
Autoři
Rok RIV
2006
Vydáno
18. 9. 2006
Nakladatel
Ústav informatiky Slovenskej akadémie vied
Místo
Bratislava
ISBN
80-969202-2-7
Kniha
Sborník příspěvků pracovního semináře Počítačové architektury & diagnostika pro studenty doktorského studia
Strany od
13
Strany do
18
Strany počet
6
BibTex
@inproceedings{BUT22274, author="Tomáš {Pečenka}", title="Prostředky a metody pro automatické vytváření testovacích obvodů", booktitle="Sborník příspěvků pracovního semináře Počítačové architektury & diagnostika pro studenty doktorského studia", year="2006", pages="13--18", publisher="Ústav informatiky Slovenskej akadémie vied", address="Bratislava", isbn="80-969202-2-7" }