Publication Details

Podpora návrhu pro snadnou testovatelnost číslicových obvodů popsaných na úrovni meziregistrových přenosů

RŮŽIČKA Richard. Podpora návrhu pro snadnou testovatelnost číslicových obvodů popsaných na úrovni meziregistrových přenosů. Brno: Faculty of Information Technology BUT, 2007. ISBN 978-80-214-3551-3.
English title
Design for Testability Support for RT Level Digital Circuits
Type
book
Language
czech
Authors
Keywords

Design for Testability, Digital Circuits Diagnostics, Register Transfer Level

Abstract

A complete formal approach to the RT level digital circuits diagnostics is presneted. To develop the methodology, formal tools were used. It allows to create a formal model of a circuit, to describe its diagnostic and testability properties and describe testability analysis algorithms, all of them formally. The concepts utilized in discrete mathematics and computer science are used. The entities which are objects of the circuit (circuit elements, interconnections, etc.) are subdivided into sets, other features and dependencies are expressed by relations. As the description language, the language of predicate logic is used. The exactness of the description and ability to transform problems of the testability analysis to well-known and solved problems of discrete mathematics and theoretical computer science are the main advantages of the formal approach.

Published
2007
Pages
130
ISBN
978-80-214-3551-3
Publisher
Faculty of Information Technology BUT
Place
Brno, CZ
BibTeX
@BOOK{FITPUB8569,
   author = "Richard R\r{u}\v{z}i\v{c}ka",
   title = "Podpora n\'{a}vrhu pro snadnou testovatelnost \v{c}\'{i}slicov\'{y}ch obvod\r{u} popsan\'{y}ch na \'{u}rovni meziregistrov\'{y}ch p\v{r}enos\r{u}",
   pages = 130,
   year = 2007,
   location = "Brno, CZ",
   publisher = "Faculty of Information Technology BUT",
   ISBN = "978-80-214-3551-3",
   language = "czech",
   url = "https://www.fit.vut.cz/research/publication/8569"
}
Back to top