About: The formal method exercising in design of the test controller for digital circuits

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

About: The formal method exercising in design of the test controller for digital circuits 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	Příspěvek se zabývá procesem návrhu řadiče testu na úrovni meziregistrových přenosů (anglicky RTL = <u>R</u>egister <u>T</u>ransfer <u>L</u>evel). Je v ní diskutována problematika modelování činnosti řadiče testu pomocí  časovaného automatu, dále problematika paralelního přenosu diagnostických dat k testovaným prvkům a nakonec metodika výběru registrů, které se budou podílet na aplikaci testu prvků. Příspěvek se zabývá procesem návrhu řadiče testu na úrovni meziregistrových přenosů (anglicky RTL = <u>R</u>egister <u>T</u>ransfer <u>L</u>evel). Je v ní diskutována problematika modelování činnosti řadiče testu pomocí  časovaného automatu, dále problematika paralelního přenosu diagnostických dat k testovaným prvkům a nakonec metodika výběru registrů, které se budou podílet na aplikaci testu prvků. (cs) The paper describes the test controller design for RTL = <u>R</u>egister <u>T</u>ransfer <u>L</u>evel. The problem of the test controller function modelling with the timed automaton is discused, the parallel transfer of diagnostic data approach is explained and finally the methodology of the test resource selection is demonstrated. (en)
Title	The formal method exercising in design of the test controller for digital circuits (en) Uplatnění formálních postupů při návrhu řadiče testu číslicového obvodu Uplatnění formálních postupů při návrhu řadiče testu číslicového obvodu (cs)
skos:prefLabel	The formal method exercising in design of the test controller for digital circuits (en) Uplatnění formálních postupů při návrhu řadiče testu číslicového obvodu Uplatnění formálních postupů při návrhu řadiče testu číslicového obvodu (cs)
skos:notation	RIV/00216305:26230/04:PU49232!RIV/2005/GA0/262305/N
http://linked.open.../vavai/riv/strany	144-149
http://linked.open...avai/riv/aktivita	P
http://linked.open...avai/riv/aktivity	P(GA102/04/0737)
http://linked.open...vai/riv/dodaniDat	2005
http://linked.open...aciTvurceVysledku	Mika, Daniel
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 informačních technologií
http://linked.open...dnocenehoVysledku	591519
http://linked.open...ai/riv/idVysledku	RIV/00216305:26230/04:PU49232
http://linked.open...riv/jazykVysledku	cze - čeština
http://linked.open.../riv/klicovaSlova	testability, test, test controller, register transfer level, parallel tests, Hasse diagram (en)
http://linked.open.../riv/klicoveSlovo	Hasse diagram register transfer level testability test test controller &nbsp parallel tests
http://linked.open...ontrolniKodProRIV	[08DB22373AD5]
http://linked.open...v/mistoKonaniAkce	Kaštieľ Moravany nad Váhom
http://linked.open...i/riv/mistoVydani	Bratislava
http://linked.open...i/riv/nazevZdroje	Počítačové architektúry & diagnostika PAD 2004
http://linked.open...in/vavai/riv/obor	JC
http://linked.open...ichTvurcuVysledku	1 (xsd:int)
http://linked.open...cetTvurcuVysledku	1 (xsd:int)
http://linked.open...vavai/riv/projekt	Modern methods of digital system synthesis
http://linked.open...UplatneniVysledku	2004
http://linked.open...iv/tvurceVysledku	Mika, Daniel
http://linked.open...vavai/riv/typAkce	EUR - Evropská
http://linked.open.../riv/zahajeniAkce	2004-09-15 (xsd:date)
number of pages	6 (xsd:int)
http://purl.org/ne...btex#hasPublisher	Slovenská akadémia vied
https://schema.org/isbn	80-969202-0-0
http://localhost/t...ganizacniJednotka	26230

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, 112 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software