Ing. Jaroslav Škarvada, Ph.D.

Škarvada, J., Růžička, R.: Using Petri Nets for RT Level Digital Systems Test Scheduling, In: Proceedings of 1st International Workshop on Formal Models (WFM'06), Ostrava, CZ, MARQ, 2006, s. 79-86, ISBN 80-86840-20-4
Jazyk publikace:angličtina
Název publikace:Using Petri Nets for RT Level Digital Systems Test Scheduling
Název (cs):Využití Petriho sítí pro plánování testu číslicových systémů na úrovni RTL
Strany:79-86
Sborník:Proceedings of 1st International Workshop on Formal Models (WFM'06)
Konference:1st International Workshop on Formal Models (WFM'06)
Místo vydání:Ostrava, CZ
Rok:2006
ISBN:80-86840-20-4
Vydavatel:MARQ
Klíčová slova
Digital circuit, C/E Petri Net, test scheduling, I-paths, structural conflicts
Anotace
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ů.
BibTeX:
@INPROCEEDINGS{
   author = {Jaroslav Škarvada and Richard Růžič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},
   publisher = {},
   ISBN = {80-86840-20-4},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=8041}
}

Vaše IPv4 adresa: 23.22.76.170
Přepnout na IPv6 spojení

DNSSEC [dnssec]