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

Český název

Metodika 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 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.

Český 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.

Klíčová slova

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

Rok RIV

2007

Vydáno

17.09.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",
  annote="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.",
  address="Západočeská univerzita v Plzni",
  booktitle="Počítačové architektury a diagnostika 2007",
  chapter="26066",
  howpublished="print",
  institution="Západočeská univerzita v Plzni",
  year="2007",
  month="september",
  pages="67--76",
  publisher="Západočeská univerzita v Plzni",
  type="conference paper"
}