Publication detail

Verifikace testovatelnosti návrhu číslicového obvodu

ŠKARVADA, J.

Original Title

Verifikace testovatelnosti návrhu číslicového obvodu

Czech Title

Verifikace testovatelnosti návrhu číslicového obvodu

Language

cs

Original Abstract

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.

Czech abstract

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.

Documents

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