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.
English title
Method for Automatic Design of Benchmark Circuits
Type
conference paper
Language
Czech
Authors
Pečenka Tomáš, Ing., Ph.D., 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.

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

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
Research groups
Dependable Digital Systems Research Group (RG DEPSYS)
Departments
Department of Computer Systems (DCSY)
Back to top