Detail publikace

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

HERRMAN, T.

Originální název

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

Anglický název

Methodology for Identification Testable Blocks in Circuit on RT Level

Typ

článek ve sborníku ve WoS nebo Scopus

Jazyk

čeština

Originální abstrakt

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.

Anglický abstrakt

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.

Klíčová slova

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

Klíčová slova v angličtině

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

Autoři

HERRMAN, T.

Rok RIV

2007

Vydáno

17. 9. 2007

Nakladatel

Západočeská univerzita v Plzni

Místo

Plzeň

ISBN

978-80-7043-605-9

Kniha

Počítačové architektury a diagnostika 2007

Strany od

67

Strany do

76

Strany počet

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