Detail publikace
Prostředky a metody pro automatické vytváření testovacích obvodů
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
PEČENKA, T.
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"
}