Detail výsledku

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

HERRMAN, T. Metodika identifikace testovatelných bloků v obvodu na úrovni RT. Počítačové architektury a diagnostika 2007. Plzeň: Západočeská univerzita v Plzni, 2007. s. 67-76. ISBN: 978-80-7043-605-9.
Typ
článek ve sborníku konference
Jazyk
česky
Autoři
Herrman Tomáš, Ing., Ph.D., FIT (FIT), UPSY (FIT)
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

Klíčová slova anglicky

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

Rok
2007
Strany
67–76
Sborník
Počítačové architektury a diagnostika 2007
ISBN
978-80-7043-605-9
Vydavatel
Západočeská univerzita v Plzni
Místo
Plzeň
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"
}
Projekty
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Výzkumné skupiny
Výzkumná skupina Spolehlivé číslicové systémy (VZ DEPSYS)
Pracoviště
Ústav počítačových systémů (UPSY)
Nahoru