Detail publikace
Verifikace testovatelnosti návrhu číslicového obvodu
ŠKARVADA, J.
Originální název
Verifikace testovatelnosti návrhu číslicového obvodu
Český název
Verifikace testovatelnosti návrhu číslicového obvodu
Typ
článek ve sborníku ve WoS nebo Scopus
Jazyk
cs
Originální abstrakt
Hlavním cílem této práce je vyvinout a implementovat softwarový systém pro zajištění automatizované verifikace testovatelnosti návrhu číslicového obvodu na úrovni meziregistrových přenosů (RT). Při implementaci systému je využito modelu C/E Petriho sítí. Vstupem do systému je formální specifikace návrhu číslicového obvodu a výstupem systému je rozhodnutí, zda je tento čislicový systém testovatelný či nikoliv.
Český abstrakt
Hlavním cílem této práce je vyvinout a implementovat softwarový systém pro zajištění automatizované verifikace testovatelnosti návrhu číslicového obvodu na úrovni meziregistrových přenosů (RT). Při implementaci systému je využito modelu C/E Petriho sítí. Vstupem do systému je formální specifikace návrhu číslicového obvodu a výstupem systému je rozhodnutí, zda je tento čislicový systém testovatelný či nikoliv.
Klíčová slova
Verifikace testovatelnosti návrhu číslicového obvodu, testovatelnost, I-cesta, I-režim, úroveň meziregistrových přenosů, částečný scan, C/E Petriho síť, konflikty a uváznutí , dosažitelnost značení, INA
Vydáno
07.10.2004
Nakladatel
Fakulta elektrotechniky a komunikačních technologií VUT v Brně
Místo
Brno
ISBN
80-214-2634-9
Kniha
Proceedings of 10th Conference and Competition Student EEICT 2004, Volume 1
Strany od
275
Strany do
277
Strany počet
3
URL
Dokumenty
BibTex
@inproceedings{BUT17560,
author="Jaroslav {Škarvada}",
title="Verifikace testovatelnosti návrhu číslicového obvodu",
annote="Hlavním cílem této práce je vyvinout a implementovat softwarový systém pro zajištění automatizované verifikace testovatelnosti návrhu číslicového obvodu na úrovni meziregistrových přenosů (RT). Při implementaci systému je využito modelu C/E Petriho sítí. Vstupem do systému je formální specifikace návrhu číslicového obvodu a výstupem systému je rozhodnutí, zda je tento čislicový systém testovatelný či nikoliv.",
address="Fakulta elektrotechniky a komunikačních technologií VUT v Brně",
booktitle="Proceedings of 10th Conference and Competition Student EEICT 2004, Volume 1",
chapter="17560",
institution="Fakulta elektrotechniky a komunikačních technologií VUT v Brně",
year="2004",
month="october",
pages="275--277",
publisher="Fakulta elektrotechniky a komunikačních technologií VUT v Brně",
type="conference paper"
}