Using Petri Nets for RT Level Digital Systems Test Scheduling

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F06%3APU66877" target="_blank" >RIV/00216305:26230/06:PU66877 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Using Petri Nets for RT Level Digital Systems Test Scheduling

Original language description

The paper deals with test scheduling for digital systems. Approach with C/E Petri nets is presented and formal model of digital system under test is introduced. Main purpose of this model is identification of structural conflicts and dead locks that mayoccur during test application phase. The digital system is analyzed on register transfer (RT) level. The obtained results can be used for digital system design partitioning. In this step individual blocks of logic are identified. Finally concurrent testfor non-conflicting blocks of logic is scheduled. The advantage of this approach is, that with partitioned circuit, it is possible to view digital circuit design as system on chip (SOC) design and use existing test scheduling methods for SOC.

Czech name

Využití Petriho sítí pro plánování testu číslicových systémů na úrovni RTL

Czech description

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í&nbsp;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émje analyzován na úrovni RTL. Výsledky metody mohou být také využity při rozdělování číslicového&nbsp;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ů.

Type

D - Article in proceedings

CEP classification

JC - Computer hardware and software

OECD FORD branch

—

Project

<a href="/en/project/GA102%2F04%2F0737" target="_blank" >GA102/04/0737: Modern methods of digital system synthesis</a><br>

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year

2006

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 1st International Workshop on Formal Models (WFM'06)

ISBN

80-86840-20-4

ISSN

—

e-ISSN

—

Number of pages

8

Pages from-to

79-86

Publisher name

NEUVEDEN

Place of publication

Ostrava

Event location

Přerov

Event date

Apr 25, 2006

Type of event by nationality

EUR - Evropská akce

UT code for WoS article

—