Detail publikace

Testable Design Verification Using Petri Nets

RŮŽIČKA Richard. Testable Design Verification Using Petri Nets. In: Proceedings of Euromicro Symposium on Digital System Design 2003. Los Alamitos, CA: IEEE Computer Society Press, 2003, s. 304-311. ISBN 0-7695-2003-0.
Název česky
Verifikace testovatelného návrhu 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 tomto článku je popsána metoda pro formální verifikaci testovatelného návrhu. Jejím vstupem je struktura číslicového obvodu na úrovni RT navržená s využitím zásad návrhu pro snadnou testovatelnost. Navržená metodika umožňuje verifikovat testovatelnost každého prvku či části obvodu. Je použit model založený na Petriho sítích a běžné metody analýzy Petriho sítí. Na modelu je možné dokázat, jestli obvodový prvek nebo část obvodu lze či nelze zvoleným způsobem testovat, tj. jestli cesty, zvolené pro přenos diagnostických dat jsou skutečně použitelné či nikoliv a pokud ne, proč.

Rok
2003
Strany
304-311
Sborník
Proceedings of Euromicro Symposium on Digital System Design 2003
Konference
EUROMICRO Symposium on Digital System Design: Architecture, Methods and Tools, Belek, TR
ISBN
0-7695-2003-0
Vydavatel
IEEE Computer Society Press
Místo
Los Alamitos, CA, US
BibTeX 
@INPROCEEDINGS{FITPUB7263,
   author = "Richard R\r{u}\v{z}i\v{c}ka",
   title = "Testable Design Verification Using Petri Nets",
   pages = "304--311",
   booktitle = "Proceedings of Euromicro Symposium on Digital System Design 2003",
   year = 2003,
   location = "Los Alamitos, CA, US",
   publisher = "IEEE Computer Society Press",
   ISBN = "0-7695-2003-0",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7263"
}
Nahoru