Detail publikace

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

RŮŽIČKA, R. The Formal Approach to the RTL Test Application Problem Using Petri Nets. Proceedings of IEEE Design and Diagnostics of Electronic Circuits and Systems 2002. Brno: Faculty of Information Technology BUT, 2002. p. 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
anglicky
Autoři
Růžička Richard, doc. Ing., Ph.D., MBA (UPSY)
Klíčová slova

Design for Testability, Testability Analysis, Test Application Problem, Petri Nets

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
ISBN
80-214-2094-4
Vydavatel
Faculty of Information Technology BUT
Místo
Brno
BibTeX 
@inproceedings{BUT10023,
  author="Richard {Růžička}",
  title="The Formal Approach to the RTL Test Application Problem Using Petri Nets",
  booktitle="Proceedings of IEEE Design and Diagnostics of Electronic Circuits and Systems 2002",
  year="2002",
  pages="78--86",
  publisher="Faculty of Information Technology BUT",
  address="Brno",
  isbn="80-214-2094-4"
}
Nahoru