Publication detail

Formal and Analytical Approaches to the Testability Analysis - the Comparison

STRNADEL, J., KOTÁSEK, Z., RŮŽIČKA, R.

Original Title

Formal and Analytical Approaches to the Testability Analysis - the Comparison

English Title

Formal and Analytical Approaches to the Testability Analysis - the Comparison

Type

conference paper

Language

en

Original Abstract

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 in 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.

English abstract

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 in 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.

Keywords

RTL testability analysis

RIV year

2001

Released

29.11.2001

Publisher

SZIF-UNIVERSITAS Ltd., Hungary

Location

Gyor

ISBN

963-7175-16-4

Book

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

Pages from

123

Pages to

128

Pages count

6

Documents

BibTex


@inproceedings{BUT5587,
  author="Zdeněk {Kotásek} and Richard {Růžička} and Josef {Strnadel}",
  title="Formal and Analytical Approaches to the Testability Analysis - the Comparison",
  annote="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 in 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.",
  address="SZIF-UNIVERSITAS Ltd., Hungary",
  booktitle="Proceedings of IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop 2001",
  chapter="5587",
  institution="SZIF-UNIVERSITAS Ltd., Hungary",
  year="2001",
  month="november",
  pages="123--128",
  publisher="SZIF-UNIVERSITAS Ltd., Hungary",
  type="conference paper"
}