Publication detail

Prostředky a metody pro automatické vytváření testovacích obvodů

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

PEČENKA, T.

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"
}