Methodologies of RTL Partial Scan Analysis and Their Comparison

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F03%3APU42516" target="_blank" >RIV/00216305:26230/03:PU42516 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Methodologies of RTL Partial Scan Analysis and Their Comparison

Popis výsledku v původním jazyce

In the paper, two different methodologies for the identification of registers to be included into the partial scan chain and principles of their implementation are described briefly. One of them is based on the utilisation of genetic algorithms, the other one on the identification of feedback loops. An attention is paid to the computation of time and space complexities of the developed algorithms. The possibility of the complete state-space exploration (all possible scan chain configurations) is also diiscussed. It is derived that algorithms based on genetic algorithms allow to gain sub-optimal solutions while fulfilling user requirements. The combination of both methodologies is investigated and the complexities analysed. Experimental results are described.

Název v anglickém jazyce

Methodologies of RTL Partial Scan Analysis and Their Comparison

Popis výsledku anglicky

In the paper, two different methodologies for the identification of registers to be included into the partial scan chain and principles of their implementation are described briefly. One of them is based on the utilisation of genetic algorithms, the other one on the identification of feedback loops. An attention is paid to the computation of time and space complexities of the developed algorithms. The possibility of the complete state-space exploration (all possible scan chain configurations) is also diiscussed. It is derived that algorithms based on genetic algorithms allow to gain sub-optimal solutions while fulfilling user requirements. The combination of both methodologies is investigated and the complexities analysed. Experimental results are described.

Druh

D - Stať ve sborníku

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

<a href="/cs/project/GA102%2F01%2F1531" target="_blank" >GA102/01/1531: Formální postupy v diagnostice číslicových obvodů - verifikace testovatelného návrhu</a><br>

Návaznosti

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

Rok uplatnění

2003

Kód důvěrnosti údajů

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

Název statě ve sborníku

Proceeding of IEEE Workshop on Design and Diagnostic of Electronic Circuits and Systems

ISBN

83-7143-557-6

ISSN

—

e-ISSN

—

Počet stran výsledku

6

Strana od-do

233-238

Název nakladatele

Publishing House of Poznan University of Technology

Místo vydání

Poznaň

Místo konání akce

Poznaň, hotel Trawinski

Datum konání akce

14. 4. 2003

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—