About: Formal and Analytical Approaches to the Testability Analysis

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Formal and Analytical Approaches to the Testability Analysis - the Comparison Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description	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. 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. (en)
Title	Formal and Analytical Approaches to the Testability Analysis - the Comparison Formal and Analytical Approaches to the Testability Analysis - the Comparison (en)
skos:prefLabel	Formal and Analytical Approaches to the Testability Analysis - the Comparison Formal and Analytical Approaches to the Testability Analysis - the Comparison (en)
skos:notation	RIV/00216305:26220/01:PU28680!RIV/2002/GA0/262202/N
http://linked.open.../vavai/riv/strany	123-128
http://linked.open...avai/riv/aktivita	P Z
http://linked.open...avai/riv/aktivity	P(GA102/01/1531), Z(MSM 262200012)
http://linked.open...vai/riv/dodaniDat	2002
http://linked.open...aciTvurceVysledku	Kotásek, Zdeněk Růžička, Richard Strnadel, Josef
http://linked.open.../riv/druhVysledku	D - Článek ve sborníku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Vysoké učení technické v Brně / Fakulta elektrotechniky a komunikačních technologií
http://linked.open...dnocenehoVysledku	680609
http://linked.open...ai/riv/idVysledku	RIV/00216305:26220/01:PU28680
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	RTL testability analysis (en)
http://linked.open.../riv/klicoveSlovo	RTL testability analysis
http://linked.open...ontrolniKodProRIV	[8DC02105713B]
http://linked.open...v/mistoKonaniAkce	Gyor
http://linked.open...i/riv/mistoVydani	Gyor
http://linked.open...i/riv/nazevZdroje	Proceedings of IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop 2001
http://linked.open...in/vavai/riv/obor	JC
http://linked.open...ichTvurcuVysledku	3 (xsd:int)
http://linked.open...cetTvurcuVysledku	3 (xsd:int)
http://linked.open...ocetUcastnikuAkce	0 (xsd:int)
http://linked.open...nichUcastnikuAkce	0 (xsd:int)
http://linked.open...vavai/riv/projekt	Formal approaches in digital circuit diagnostics - testable design verification
http://linked.open...UplatneniVysledku	2001
http://linked.open...iv/tvurceVysledku	Kotásek, Zdeněk Růžička, Richard Strnadel, Josef
http://linked.open...vavai/riv/typAkce	WRD - Světová
http://linked.open.../riv/zahajeniAkce	2001-04-18 (xsd:date)
http://linked.open...n/vavai/riv/zamer	http://linked.opendata.cz/resource/domain/vavai/zamer/MSM%20262200012
number of pages	6 (xsd:int)
http://purl.org/ne...btex#hasPublisher	SZIF-UNIVERSITAS Ltd., Hungary
https://schema.org/isbn	963-7175-16-4
http://localhost/t...ganizacniJednotka	26220

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software