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

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

Namespace Prefixes

PrefixIRI
n9http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n20http://localhost/temp/predkladatel/
n15http://purl.org/net/nknouf/ns/bibtex#
n18http://linked.opendata.cz/resource/domain/vavai/projekt/
n16http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n6http://linked.opendata.cz/ontology/domain/vavai/
n10http://linked.opendata.cz/resource/domain/vavai/zamer/
n3https://schema.org/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n4http://linked.opendata.cz/ontology/domain/vavai/riv/
n13http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216305%3A26230%2F08%3APU78075%21RIV10-MSM-26230___/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n7http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n22http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n17http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n5http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n21http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n12http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n19http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216305%3A26230%2F08%3APU78075%21RIV10-MSM-26230___
rdf:type
n6:Vysledek skos:Concept
dcterms:description
The formal model of Testable block on RT level is presented in the paper. Principles of identification of Testable block are defined. In the next part the details of implementation of methodology is described. At the end of paper is stated contend of doctoral thesis. V článku je prezentován formální model Testovatelného Bloku v obvodu na úrovni RT. Je definována metodika jejich identifikace. Dále jsou popsány některé detaily implementace metodiky, uvedeny a shrnuty experimentální výsledky. V závěru je uveden předpokládaný obsah disertační práce. V článku je prezentován formální model Testovatelného Bloku v obvodu na úrovni RT. Je definována metodika jejich identifikace. Dále jsou popsány některé detaily implementace metodiky, uvedeny a shrnuty experimentální výsledky. V závěru je uveden předpokládaný obsah disertační práce.
dcterms:title
Identifikace testovatelných bloků v obvodu na úrovni RT Testable Block Identification in RT Level Circuits Identifikace testovatelných bloků v obvodu na úrovni RT
skos:prefLabel
Identifikace testovatelných bloků v obvodu na úrovni RT Identifikace testovatelných bloků v obvodu na úrovni RT Testable Block Identification in RT Level Circuits
skos:notation
RIV/00216305:26230/08:PU78075!RIV10-MSM-26230___
n4:aktivita
n5:Z n5:P
n4:aktivity
P(GD102/05/H050), Z(MSM0021630528)
n4:dodaniDat
n19:2010
n4:domaciTvurceVysledku
n16:6401171
n4:druhVysledku
n12:D
n4:duvernostUdaju
n22:S
n4:entitaPredkladatele
n13:predkladatel
n4:idSjednocenehoVysledku
371307
n4:idVysledku
RIV/00216305:26230/08:PU78075
n4:jazykVysledku
n17:cze
n4:klicovaSlova
Testable Block, formal model, testability, scan method, evolutionary algorithm, RT level
n4:klicoveSlovo
n7:evolutionary%20algorithm n7:scan%20method n7:formal%20model n7:testability n7:Testable%20Block n7:RT%20level
n4:kontrolniKodProRIV
[8B8EDFE00361]
n4:mistoKonaniAkce
Hejnice
n4:mistoVydani
Liberec
n4:nazevZdroje
Počítačové architektury a diagnostika 2008
n4:obor
n21:JC
n4:pocetDomacichTvurcuVysledku
1
n4:pocetTvurcuVysledku
1
n4:projekt
n18:GD102%2F05%2FH050
n4:rokUplatneniVysledku
n19:2008
n4:tvurceVysledku
Herrman, Tomáš
n4:typAkce
n9:CST
n4:zahajeniAkce
2008-09-15+02:00
n4:zamer
n10:MSM0021630528
s:numberOfPages
11
n15:hasPublisher
Technická univerzita v Liberci
n3:isbn
978-80-7372-378-1
n20:organizacniJednotka
26230