Result Details

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

HERRMAN, T. Identifikace testovatelných bloků v obvodu na úrovni RT. Počítačové architektury a diagnostika 2008. Liberec: Technická univerzita v Liberci, 2008. s. 25-35. ISBN: 978-80-7372-378-1.
English title
Testable Block Identification in RT Level Circuits
Type
conference paper
Language
Czech
Authors
Herrman Tomáš, Ing., Ph.D., DCSY (FIT)
Abstract

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.

English abstract

The formal model of Testable block 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.

Keywords

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

English keywords

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

Published
2008
Pages
25–35
Proceedings
Počítačové architektury a diagnostika 2008
ISBN
978-80-7372-378-1
Publisher
Technická univerzita v Liberci
Place
Liberec
BibTeX 
@inproceedings{BUT30727,
  author="Tomáš {Herrman}",
  title="Identifikace testovatelných bloků v obvodu na úrovni RT",
  booktitle="Počítačové architektury a diagnostika 2008",
  year="2008",
  pages="25--35",
  publisher="Technická univerzita v Liberci",
  address="Liberec",
  isbn="978-80-7372-378-1"
}
Projects
Integrated approach to education of PhD students in the area of parallel and distributed systems, GACR, Doktorské granty, GD102/05/H050, start: 2005-01-01, end: 2008-12-31, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
Research groups
Dependable Digital Systems Research Group (RG DEPSYS)
Departments
Department of Computer Systems (DCSY)
Back to top