This HTML5 document contains 30 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n10http://linked.opendata.cz/ontology/domain/vavai/cep/zivotniCyklusProjektu/
n14http://linked.opendata.cz/ontology/domain/vavai/cep/typPojektu/
n20http://linked.opendata.cz/ontology/domain/vavai/cep/druhSouteze/
n4http://linked.opendata.cz/resource/domain/vavai/projekt/GA102%2F01%2F1531/
n9http://linked.opendata.cz/ontology/domain/vavai/cep/hodnoceniProjektu/
dctermshttp://purl.org/dc/terms/
n2http://linked.opendata.cz/resource/domain/vavai/projekt/
n17http://linked.opendata.cz/resource/domain/vavai/subjekt/
n12http://linked.opendata.cz/ontology/domain/vavai/
n13http://linked.opendata.cz/ontology/domain/vavai/cep/duvernostUdaju/
skoshttp://www.w3.org/2004/02/skos/core#
rdfshttp://www.w3.org/2000/01/rdf-schema#
n8http://linked.opendata.cz/ontology/domain/vavai/cep/fazeProjektu/
n7http://linked.opendata.cz/ontology/domain/vavai/cep/obor/
n11http://linked.opendata.cz/resource/domain/vavai/soutez/
n19http://linked.opendata.cz/ontology/domain/vavai/cep/statusZobrazovaneFaze/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
xsdhhttp://www.w3.org/2001/XMLSchema#
n3http://linked.opendata.cz/ontology/domain/vavai/cep/
n15http://linked.opendata.cz/resource/domain/vavai/aktivita/
n6http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:GA102%2F01%2F1531
rdf:type
n12:Projekt
rdfs:seeAlso
http://www.isvav.cz/projectDetail.do?rowId=GA102/01/1531
dcterms:description
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 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
dcterms:title
Formal approaches in digital circuit diagnostics - testable design verification Formální postupy v diagnostice číslicových obvodů - verifikace testovatelného návrhu
skos:notation
GA102/01/1531
n3:aktivita
n15:GA
n3:celkovaStatniPodpora
n4:celkovaStatniPodpora
n3:celkoveNaklady
n4:celkoveNaklady
n3:datumDodatniDoRIV
2008-05-30+02:00
n3:druhSouteze
n20:VS
n3:duvernostUdaju
n13:S
n3:fazeProjektu
n8:1224360
n3:hlavniObor
n7:JC
n3:hodnoceniProjektu
n9:V
n3:klicovaSlova
Neuvedeno.
n3:partnetrHlavni
n17:orjk%3A26230
n3:pocetKoordinujicichPrijemcu
0
n3:pocetPrijemcu
1
n3:pocetSpoluPrijemcu
2
n3:pocetVysledkuRIV
72
n3:pocetZverejnenychVysledkuVRIV
72
n3:sberDatUcastniciPoslednihoRoku
n6:2004
n3:sberDatUdajeProjZameru
n6:2004
n3:soutez
n11:SGA02002GA-ST
n3:statusZobrazovaneFaze
n19:DUU
n3:typPojektu
n14:P
n3:zhodnoceni+vysledku+projektu+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
n3:zivotniCyklusProjektu
n10:ZBKU