Detail publikace

On the Petri Net Based Test Scheduling

RŮŽIČKA, R. On the Petri Net Based Test Scheduling. In Proceedings of the Work in Progress Session at Euromicro SEAA/DSD 2005. Linz: Johannes Kepler University Linz, 2005. p. 18-19. ISBN: 3-902457-09-0.
Název česky
K plánování testu založeném na Petriho sítích
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Růžička Richard, doc. Ing., Ph.D., MBA (UPSY)
Klíčová slova

RTL digital circuit testability, test scheduling optimization

Abstrakt

Článek řeší některé problémy optimalizace plánování testu číslicového obvodu na úrovni RT. Pro tyto účely je nyní použit model založený na Petriho sítích, který byl již dříve navržen pro účely verifikace testovatelnosti. Model je základem C/E systému, modelujícího proces aplikace testu. Pro optimalizaci rozvržení testu jsou významné zejména možnosti paralelní aplikace testu na více prvků současně. Užití paralelismu při aplikaci testu může výrazně snížit dobu testu. Výhodou popsaného přístupu je čistě formální popis a ověření správnosti formou matematických důkazů.

Rok
2005
Strany
18–19
Sborník
Proceedings of the Work in Progress Session at Euromicro SEAA/DSD 2005
ISBN
3-902457-09-0
Vydavatel
Johannes Kepler University Linz
Místo
Linz
BibTeX 
@inproceedings{BUT18034,
  author="Richard {Růžička}",
  title="On the Petri Net Based Test Scheduling",
  booktitle="Proceedings of the Work in Progress Session at Euromicro SEAA/DSD 2005",
  year="2005",
  pages="18--19",
  publisher="Johannes Kepler University Linz",
  address="Linz",
  isbn="3-902457-09-0"
}
Nahoru