Detail publikace

Identifikace testovatelných bloků v obvodu na úrovni RT

HERRMAN, T.

Originální název

Identifikace testovatelných bloků v obvodu na úrovni RT

Český název

Identifikace testovatelných bloků v obvodu na úrovni RT

Typ

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

Jazyk

cs

Originální abstrakt

V článku je prezentován formální model Testovatelného Bloku v obvodu na úrovni RT. Je definována metodika 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.

Český abstrakt

V článku je prezentován formální model Testovatelného Bloku v obvodu na úrovni RT. Je definována metodika 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.

Klíčová slova

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

Rok RIV

2008

Vydáno

01.09.2008

Nakladatel

Technická univerzita v Liberci

Místo

Liberec

ISBN

978-80-7372-378-1

Kniha

Počítačové architektury a diagnostika 2008

Edice

NEUVEDEN

Číslo edice

NEUVEDEN

Strany od

25

Strany do

35

Strany počet

11

Dokumenty

BibTex


@inproceedings{BUT30727,
  author="Tomáš {Herrman}",
  title="Identifikace testovatelných bloků v obvodu na úrovni RT",
  annote="V článku je prezentován formální model Testovatelného Bloku v obvodu na úrovni
RT. Je definována metodika 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.",
  address="Technická univerzita v Liberci",
  booktitle="Počítačové architektury a diagnostika 2008",
  chapter="30727",
  edition="NEUVEDEN",
  howpublished="print",
  institution="Technická univerzita v Liberci",
  year="2008",
  month="september",
  pages="25--35",
  publisher="Technická univerzita v Liberci",
  type="conference paper"
}