Detail publikace

The Formal Approach to the RTL Test Application Problem Using Petri Nets

RŮŽIČKA Richard. The Formal Approach to the RTL Test Application Problem Using Petri Nets. In: Proceedings of IEEE Design and Diagnostics of Electronic Circuits and Systems 2002. Brno: Fakulta informačních technologií VUT v Brně, 2002, s. 78-86. ISBN 80-214-2094-4.
Název česky
Formální přístup k problému aplikace testu na obvod na úrovni RT s využitím Petriho sítí
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Růžička Richard, doc. Ing., Ph.D., MBA (UPSY FIT VUT)
Abstrakt

V článku je prezentován přístup k řešení problému aplikace testu na číslicový obvod. Na základě formálního modelu obvodu na úrovni RT jsou diskutovány vlastnosti obvodových prvků důležité z pohledu syntézy řadiče testu. Je prezentován algoritmus, který dokáže získat potřebné informace z modelu obvodu a algoritmus, který umí na základě těchto informací vytvořit model aplikace testu na vybraný obvodový prvek. Na ověření vhodnosti zvolené cesty diagnostických dat a možností paralelizace aplikace testu byl vybrán koncept Petriho sítí.

Rok
2002
Strany
78-86
Sborník
Proceedings of IEEE Design and Diagnostics of Electronic Circuits and Systems 2002
Konference
IEEE Design and Diagnostics of Electronic Circuits and Systems 2002, Brno, CZ
ISBN
80-214-2094-4
Vydavatel
Fakulta informačních technologií VUT v Brně
Místo
Brno, CZ
BibTeX 
@INPROCEEDINGS{FITPUB6930,
   author = "Richard R\r{u}\v{z}i\v{c}ka",
   title = "The Formal Approach to the RTL Test Application Problem Using Petri Nets",
   pages = "78--86",
   booktitle = "Proceedings of IEEE Design and Diagnostics of Electronic Circuits and Systems 2002",
   year = 2002,
   location = "Brno, CZ",
   publisher = "Faculty of Information Technology BUT",
   ISBN = "80-214-2094-4",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6930"
}
Nahoru