Book

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.
Publication language:czech
Original title:Podpora návrhu pro snadnou testovatelnost číslicových obvodů popsaných na úrovni meziregistrových přenosů
Title (en):Design for Testability Support for RT Level Digital Circuits
Pages:130
Place:Brno, CZ
Year:2007
ISBN:978-80-214-3551-3
Publisher:Faculty of Information Technology BUT
Keywords
Design for Testability, Digital Circuits Diagnostics, Register Transfer Level
Annotation
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.
BibTeX:
@BOOK{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=8569}
}

Your IPv4 address: 54.147.200.51
Switch to IPv6 connection

DNSSEC [dnssec]