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 ve WoS nebo 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" }