Přístupnostní navigace
E-application
Search Search Close
Publication detail
PEČENKA, T.
Original Title
Prostředky a metody pro automatické vytváření testovacích obvodů
English Title
Method for Automatic Design of Benchmark Circuits
Type
conference paper
Language
Czech
Original Abstract
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.
English abstract
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.
Keywords
testovací obvod, evoluční návrh
Key words in English
benchmark circuit, evolutionary design
Authors
RIV year
2006
Released
18. 9. 2006
Publisher
Ústav informatiky Slovenskej akadémie vied
Location
Bratislava
ISBN
80-969202-2-7
Book
Sborník příspěvků pracovního semináře Počítačové architektury & diagnostika pro studenty doktorského studia
Pages from
13
Pages to
18
Pages count
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" }