Detail výsledku
Metodika identifikace testovatelných bloků v obvodu na úrovni RT
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.
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.
Testovatelný Blok, formální model, testovatelnost, metoda scan, evoluční algoritmus, úroveň RT
Testable Block, formal model, testability, scan method, evolutionary algorithm, RT level
@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"
}