On the Petri Net Based Test Scheduling

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F05%3APU56454" target="_blank" >RIV/00216305:26230/05:PU56454 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
On the Petri Net Based Test Scheduling
Original language description
This paper discusses some problems with test scheduling optimization of register transfer level (RTL) digital circuit design. The Petri net model, previously proposed for testability verification purposes is now used as a base of C/E system which modelstest application process. To schedule application of test patterns to elements of a circuit under test, possibility of concurrency must be considered firstly. Parallelism during test application process can significantly reduce time of testing. Another aadvantage of the approach is that all methods are described formally and are proved.
Czech name
K plánování testu založeném na Petriho sítích
Czech description
Č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 čisstě formální popis a ověření správnosti formou matematických důkazů.

Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year
2005
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection
Proceedings of the Work in Progress Session at Euromicro SEAA/DSD 2005
ISBN
3-902457-09-0
ISSN
—
e-ISSN
—
Number of pages
2
Pages from-to
18-19
Publisher name
Johannes Kepler University Linz
Place of publication
Linz
Event location
Faculdade de Engenharia da Universidade do Porto
Event date
Jun 13, 2005
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—

Similar results(10)