Formal and Analytical Approaches to the Testability Analysis - the Comparison

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26220%2F01%3APU28680" target="_blank" >RIV/00216305:26220/01:PU28680 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Formal and Analytical Approaches to the Testability Analysis - the Comparison

Popis výsledku v původním jazyce

The paper deals with two approaches to the RTL testability analysis - formal and analytical ones and their results. The formal approach is based on the theory of set and the predicate logic concepts and algorithms, while the analytical approach applies controllability/observability metrics as a population for genetic algorithm procedures. The reasons for RTL testability analysis are described together with possible solutions. The goal of both methodologies is to utilise the data paths existing in the inn the UUA (Unit Under Analysis) to reduce necessary modifications and recommend registers for scan. Possible modifications are discussed from the area overhead point of view.

Název v anglickém jazyce

Formal and Analytical Approaches to the Testability Analysis - the Comparison

Popis výsledku anglicky

The paper deals with two approaches to the RTL testability analysis - formal and analytical ones and their results. The formal approach is based on the theory of set and the predicate logic concepts and algorithms, while the analytical approach applies controllability/observability metrics as a population for genetic algorithm procedures. The reasons for RTL testability analysis are described together with possible solutions. The goal of both methodologies is to utilise the data paths existing in the inn the UUA (Unit Under Analysis) to reduce necessary modifications and recommend registers for scan. Possible modifications are discussed from the area overhead point of view.

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

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2001

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

Proceedings of IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop 2001

ISBN

963-7175-16-4

ISSN

—

e-ISSN

—

Počet stran výsledku

6

Strana od-do

123-128

Název nakladatele

SZIF-UNIVERSITAS Ltd., Hungary

Místo vydání

Gyor

Místo konání akce

Gyor

Datum konání akce

18. 4. 2001

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

WRD - Celosvětová akce

Kód UT WoS článku

—