Publication detail

Metodika identifikace Testovatelných bloků v obvodu na úrovni RT

HERRMAN, T.

Original Title

Metodika identifikace Testovatelných bloků v obvodu na úrovni RT

English Title

Methodology for Identification Testable Blocks in Circuit on RT Level

Type

conference paper

Language

Czech

Original Abstract

V článku je prezentován koncept Testovatelného Bloku vyvinutého na formálním modelu obvodu na úrovni RT. Jsou definovány principy jejich identifikace. Dále jsou popsány některé detaily implementace metodiky, uvedeny a shrnuty experimentální výsledky. V závěru je uveden předpokládaný obsah disertační práce.

English abstract

The concept of Testable block developed on formal model on RT level is presented in the paper. Principles of identification of Testable block are defined. In the next part the details of implementation of methodology is described. At the end of paper is stated contend of doctoral thesis.

Keywords

Testovatelný Blok, formální model, testovatelnost, metoda scan, evoluční algoritmus, úroveň RT

Key words in English

Testable Block, formal model, testability, scan method, evolutionary algorithm, RT level

Authors

HERRMAN, T.

RIV year

2007

Released

17. 9. 2007

Publisher

Západočeská univerzita v Plzni

Location

Plzeň

ISBN

978-80-7043-605-9

Book

Počítačové architektury a diagnostika 2007

Pages from

67

Pages to

76

Pages count

10

BibTex

@inproceedings{BUT26066,
  author="Tomáš {Herrman}",
  title="Metodika identifikace Testovatelných bloků v obvodu na úrovni RT",
  booktitle="Počítačové architektury a diagnostika 2007",
  year="2007",
  pages="67--76",
  publisher="Západočeská univerzita v Plzni",
  address="Plzeň",
  isbn="978-80-7043-605-9"
}