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

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

Namespace Prefixes

PrefixIRI
n14http://linked.opendata.cz/ontology/domain/vavai/cep/zivotniCyklusProjektu/
n17http://linked.opendata.cz/ontology/domain/vavai/cep/druhSouteze/
n13http://linked.opendata.cz/ontology/domain/vavai/cep/typPojektu/
n12http://linked.opendata.cz/ontology/domain/vavai/cep/hodnoceniProjektu/
dctermshttp://purl.org/dc/terms/
n2http://linked.opendata.cz/resource/domain/vavai/projekt/
n6http://linked.opendata.cz/resource/domain/vavai/subjekt/
n21http://linked.opendata.cz/ontology/domain/vavai/
n9http://linked.opendata.cz/ontology/domain/vavai/cep/kategorie/
n10http://linked.opendata.cz/ontology/domain/vavai/cep/duvernostUdaju/
rdfshttp://www.w3.org/2000/01/rdf-schema#
skoshttp://www.w3.org/2004/02/skos/core#
n8http://linked.opendata.cz/ontology/domain/vavai/cep/fazeProjektu/
n4http://linked.opendata.cz/ontology/domain/vavai/cep/obor/
n18http://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#
n15http://linked.opendata.cz/resource/domain/vavai/projekt/GA102%2F04%2F0737/
n3http://linked.opendata.cz/ontology/domain/vavai/cep/
n16http://linked.opendata.cz/resource/domain/vavai/aktivita/
n11http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:GA102%2F04%2F0737
rdf:type
n21:Projekt
rdfs:seeAlso
http://www.isvav.cz/projectDetail.do?rowId=GA102/04/0737
dcterms:description
Cílem navrhovatelů projektu je návrh, implementace a ověření metodik návrhu číslicových obvodů založených na postupech, které je možné považovat za nové, nestandardní a doposud nevyužívané v návrhových systémech. Pozornost bude zaměřena především na využití a kombinaci biologií inspirovaných technik a formálních postupů. Cíle projektu jsou stanoveny takto: 1. Identifikovat vhodné biologií inspirované techniky pro syntézu číslicových systémů. 2. Vytvořit biologií inspirované metodiky využitelné při těchto činnostech souvisejících s návrhem číslicových obvodů: návrh a syntéza obvodu, analýza testovatelnosti a návrh snadno testovatelných obvodů, zajištění adaptability obvodu během jeho činnosti, zajištění odolnosti proti poruchám během činnosti obvodu. 3. Definovat principy využití formálních postupů při syntéze číslicových systémů, zaměřit se především na systémy na bázi IP jader (IP core). 4. Vytvořit formální postupy využitelné při těchto činnostech souvisejících s návrhem číslicových The goal of the project is to develop, implement and verify methodologies based on approaches which are new, non-standard and not utilised in design systems yet. Our attention will be mainly paid to utilisation of biology inspired techniques and formal approaches and their merging. The objectives of the project are formulated in the following way: 1. The identification of biology inspired techniques applicable for the synthesis of digital systems. 2. The development of biology inspired methodologies tobe utilised in the following procedures during a digital synthesis: design and synthesis, testability analysis and synthesis for testability, adaptability of the system during its operation, providing fault tolerance during system operation. 3. The definition of utilising the principles of formal approaches during a digital system synthesis, the main attention will be paid especially to IP core based systems. 4. The development of formal approaches to be utilised in the following procedures during
dcterms:title
Modern methods of digital system synthesis Moderní metody syntézy číslicových systémů
skos:notation
GA102/04/0737
n3:aktivita
n16:GA
n3:celkovaStatniPodpora
n15:celkovaStatniPodpora
n3:celkoveNaklady
n15:celkoveNaklady
n3:datumDodatniDoRIV
2007-10-16+02:00
n3:druhSouteze
n17:VS
n3:duvernostUdaju
n10:S
n3:fazeProjektu
n8:2312851
n3:hlavniObor
n4:JC
n3:hodnoceniProjektu
n12:U
n3:kategorie
n9:ZV
n3:klicovaSlova
Neuvedeno.
n3:partnetrHlavni
n6:orjk%3A26230
n3:pocetKoordinujicichPrijemcu
0
n3:pocetPrijemcu
1
n3:pocetSpoluPrijemcu
3
n3:pocetVysledkuRIV
73
n3:pocetZverejnenychVysledkuVRIV
73
n3:rokUkonceniPodpory
n11:2006
n3:rokZahajeniPodpory
n11:2004
n3:sberDatUcastniciPoslednihoRoku
n11:2006
n3:sberDatUdajeProjZameru
n11:2007
n3:soutez
n18:SGA02004GA-ST
n3:statusZobrazovaneFaze
n19:DUU
n3:typPojektu
n13:P
n3:zhodnoceni+vysledku+projektu+dodavatelem
Zadání projektu si kladlo za cíl rozvoj moderních metod návrhu číslicových systémů a uplatnění formálních postupů v těchto metodách. Oba cíle byly uplatněny při vývoji metodik návrhu číslicových systémů a vývoji metodik jejich testování. Byly zkoumány no The project proposal defined as its goal the development of modern digital systems design and utilizing formal methods in these methodologies. Both goals were implemented in the development in digital systems design methodologies and the methods of digit
n3:zivotniCyklusProjektu
n14:ZBKU