Detail výsledku
Prostředky a metody pro automatické vytváření testovacích obvodů
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.
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.
testovací obvod, evoluční návrh
benchmark circuit, evolutionary design
@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"
}Moderní metody syntézy číslicových systémů, GAČR, Standardní projekty, GA102/04/0737, zahájení: 2004-01-01, ukončení: 2006-12-31, ukončen