Publication detail

Verifikace testovatelnosti návrhu číslicového obvodu

ŠKARVADA, J.

Original Title

Verifikace testovatelnosti návrhu číslicového obvodu

English Title

RT level digital circuit design testability verification

Type

conference paper

Language

Czech

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.

English abstract

The main goal of this work is to develop and implement software system for automatic testabilty verification of Register Transfer (RT) level Digital Circuit Design (DCD). In the implementation of the system, a C/E Petri Nets approach is used. The input to the system is formal specification of DCD and the output from the system is the decision if the DCD is testable or not.

Keywords

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

Key words in English

RT level digital circuit design testability verification, testability, I-path, I-mode, register transfer level, partial scan, C/E Petri net, conflicts and deadlocks, reachability of marking, INA

Authors

ŠKARVADA, J.

Released

7. 10. 2004

Publisher

Fakulta elektrotechniky a komunikačních technologií VUT v Brně

Location

Brno

ISBN

80-214-2634-9

Book

Proceedings of 10th Conference and Competition Student EEICT 2004, Volume 1

Pages from

275

Pages to

277

Pages count

3

URL

http://www.feec.vutbr.cz/EEICT/2004/sbornik/02-Magisterske_projekty/09-Pocitacove_systemy/06-xskarv02.pdf

BibTex

@inproceedings{BUT17560,
  author="Jaroslav {Škarvada}",
  title="Verifikace testovatelnosti návrhu číslicového obvodu",
  booktitle="Proceedings of 10th Conference and Competition Student EEICT 2004, Volume 1",
  year="2004",
  pages="275--277",
  publisher="Fakulta elektrotechniky a komunikačních technologií VUT v Brně",
  address="Brno",
  isbn="80-214-2634-9",
  url="http://www.feec.vutbr.cz/EEICT/2004/sbornik/02-Magisterske_projekty/09-Pocitacove_systemy/06-xskarv02.pdf"
}