Publication Details

Verifikace testovatelnosti návrhu číslicového obvodu

ŠKARVADA Jaroslav. Verifikace testovatelnosti návrhu číslicového obvodu. In: Proceedings of 10th Conference and Competition Student EEICT 2004, Volume 1. Brno: Faculty of Electrical Engineering and Communication BUT, 2004, pp. 275-277. ISBN 80-214-2634-9.
English title
RT level digital circuit design testability verification
Type
conference paper
Language
czech
Authors
URL
Keywords

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

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.

Published
2004
Pages
275-277
Proceedings
Proceedings of 10th Conference and Competition Student EEICT 2004, Volume 1
Conference
Student EEICT 2004, Brno, CZ
ISBN
80-214-2634-9
Publisher
Faculty of Electrical Engineering and Communication BUT
Place
Brno, CZ
BibTeX
@INPROCEEDINGS{FITPUB7595,
   author = "Jaroslav \v{S}karvada",
   title = "Verifikace testovatelnosti n\'{a}vrhu \v{c}\'{i}slicov\'{e}ho obvodu",
   pages = "275--277",
   booktitle = "Proceedings of 10th Conference and Competition Student EEICT 2004, Volume 1",
   year = 2004,
   location = "Brno, CZ",
   publisher = "Faculty of Electrical Engineering and Communication BUT",
   ISBN = "80-214-2634-9",
   language = "czech",
   url = "https://www.fit.vut.cz/research/publication/7595"
}
Back to top