Result Details
Prostředky a metody pro automatické vytváření testovacích obvodů
PEČENKA, T. Prostředky a metody pro automatické vytváření testovacích obvodů. Sborník příspěvků pracovního semináře Počítačové architektury & diagnostika pro studenty doktorského studia. Bratislava: Ústav informatiky Slovenskej akadémie vied, 2006. s. 13-18. ISBN: 80-969202-2-7.
Type
conference paper
Language
Czech
Authors
Pečenka Tomáš, Ing., Ph.D., FIT (FIT), DCSY (FIT)
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.
Keywords
testovací obvod, evoluční návrh
English keywords
benchmark circuit, evolutionary design
Published
2006
Pages
13–18
Proceedings
Sborník příspěvků pracovního semináře Počítačové architektury & diagnostika pro studenty doktorského studia
ISBN
80-969202-2-7
Publisher
Ústav informatiky Slovenskej akadémie vied
Place
Bratislava
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"
}
Projects
Integrated approach to education of PhD students in the area of parallel and distributed systems, GACR, Doktorské granty, GD102/05/H050, start: 2005-01-01, end: 2008-12-31, completed
Modern Methods of Digital Systems Design, GACR, Standardní projekty, GA102/04/0737, start: 2004-01-01, end: 2006-12-31, completed
Modern Methods of Digital Systems Design, GACR, Standardní projekty, GA102/04/0737, start: 2004-01-01, end: 2006-12-31, completed
Research groups
Dependable Digital Systems Research Group (RG DEPSYS)
Departments