Detail publikace

Using Petri Nets for RT Level Digital Systems Test Scheduling

ŠKARVADA Jaroslav a RŮŽIČKA Richard. Using Petri Nets for RT Level Digital Systems Test Scheduling. In: Proceedings of 1st International Workshop on Formal Models (WFM'06). Ostrava: MARQ, 2006, s. 79-86. ISBN 80-86840-20-4.
Název česky
Využití Petriho sítí pro plánování testu číslicových systémů na úrovni RTL
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Abstrakt

Příspěvek se zabývá plánováním testu pro číslicové systémy. Je prezentován přístup založený na využítí C/E Petriho sítí. Model je využit pro nalezení strukturních konfliktů a deadloků, které se mohou vyskytnout při plánování testu. Číslicový systém je analyzován na úrovni RTL. Výsledky metody mohou být také využity při rozdělování číslicového systému na jednotlivé logické bloky. Znalost strukturních závislostí lze potom s výhodou použít při plánování testu jednotlivých logických bloků.

Rok
2006
Strany
79-86
Sborník
Proceedings of 1st International Workshop on Formal Models (WFM'06)
Konference
1st International Workshop on Formal Models (WFM'06), Přerov, CZ
ISBN
80-86840-20-4
Vydavatel
MARQ
Místo
Ostrava, CZ
BibTeX
@INPROCEEDINGS{FITPUB8041,
   author = "Jaroslav \v{S}karvada and Richard R\r{u}\v{z}i\v{c}ka",
   title = "Using Petri Nets for RT Level Digital Systems Test Scheduling",
   pages = "79--86",
   booktitle = "Proceedings of 1st International Workshop on Formal Models (WFM'06)",
   year = 2006,
   location = "Ostrava, CZ",
   ISBN = "80-86840-20-4",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8041"
}
Nahoru