About: Formal approaches in digital circuit diagnostics

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

About: Formal approaches in digital circuit diagnostics - testable design verification Goto Sponge NotDistinct Permalink

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

Attributes	Values
rdf:type	http://linked.opendata.cz/ontology/domain/vavai/Projekt
rdfs:seeAlso	http://www.isvav.cz/projectDetail.do?rowId=GA102/01/1531
Description	The growing complexity of integrated circuits confronts the manufacturers with the problem of testability. The implementation of diagnostic principles has become an integral part of the process of digital circuit synthesis. During the synthesis the topic (en) Narůstající složitost číslicových obvodů klade stale vyšší nároky na jejich testování. Uplatnění diagnostických principů se stalo nedílnou součástí syntézy číslicových obvodů. Současně s probíhající syntézou obvodu jsou tedy zvažovány možnosti jeho testo
Title	Formal approaches in digital circuit diagnostics - testable design verification (en) Formální postupy v diagnostice číslicových obvodů - verifikace testovatelného návrhu
skos:notation	GA102/01/1531
http://linked.open...avai/cep/aktivita	Standard projects
http://linked.open...kovaStatniPodpora	http://linked.opendata.cz/resource/domain/vavai/projekt/GA102%2F01%2F1531/celkovaStatniPodpora
http://linked.open...ep/celkoveNaklady	http://linked.opendata.cz/resource/domain/vavai/projekt/GA102%2F01%2F1531/celkoveNaklady
http://linked.open...datumDodatniDoRIV	2008-05-30 (xsd:date)
http://linked.open...i/cep/druhSouteze	VS - Veřejná soutěž ve výzkumu a vývoji
http://linked.open...ep/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open.../cep/fazeProjektu	1224360
http://linked.open...ai/cep/hlavniObor	JC - Počítačový hardware a software
http://linked.open...hodnoceniProjektu	V - Vynikající výsledky (s mezinárodním významem apod.). Zároveň byly splněny cíle a předpokládané výsledky uvedené ve smlouvě / rozhodnutí o poskytnutí podpory.
http://linked.open.../cep/klicovaSlova	Neuvedeno. (en)
http://linked.open...ep/partnetrHlavni	Fakulta informačních technologií
http://linked.open...inujicichPrijemcu	0 (xsd:int)
http://linked.open...cep/pocetPrijemcu	1 (xsd:int)
http://linked.open...ocetSpoluPrijemcu	2 (xsd:int)
http://linked.open.../pocetVysledkuRIV	72 (xsd:int)
http://linked.open...enychVysledkuVRIV	72 (xsd:int)
http://linked.open...iciPoslednihoRoku	2004
http://linked.open...atUdajeProjZameru	2004
http://linked.open.../vavai/cep/soutez	SGA02002GA-ST
http://linked.open...usZobrazovaneFaze	DUU
http://linked.open...ai/cep/typPojektu	P - Projekt výzkumu a vývoje financovaný ze státního rozpočtu
http://linked.open...jektu+dodavatelem	Projekt přinesl nové poznatky v oblasti vytvoření formálních postupů pro analýzu testovatelnosti číslicových obvodů. Závěrečná karta poskytuje adekvátní údaje. Aplikační význam projektu spočívá v návazném návrhu snadno testovatelných obvodů; součástí pr (cs)
http://linked.open...tniCyklusProjektu	ZBKU
is http://linked.open...vavai/cep/projekt of	http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA102%2F01%2F1531/2001/orjk%3A21230 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA102%2F01%2F1531/2001/orjk%3A26220 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA102%2F01%2F1531/2001/orjk%3A27240 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA102%2F01%2F1531/2002/ico%3A00216305 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA102%2F01%2F1531/2002/orjk%3A21230 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA102%2F01%2F1531/2002/orjk%3A27240 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA102%2F01%2F1531/2003/orjk%3A21230 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA102%2F01%2F1531/2003/orjk%3A26220 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA102%2F01%2F1531/2003/orjk%3A27240 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA102%2F01%2F1531/2004/orjk%3A21230 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA102%2F01%2F1531/2004/orjk%3A26230 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA102%2F01%2F1531/2004/orjk%3A27240 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA102%2F01%2F1531/2007/ico%3A00216305 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA102%2F01%2F1531/2007/orjk%3A21230 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA102%2F01%2F1531/2007/orjk%3A26220 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA102%2F01%2F1531/2007/orjk%3A26230 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA102%2F01%2F1531/2007/orjk%3A27240

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