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