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

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

Namespace Prefixes

PrefixIRI
n5http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n11http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F68407700%3A21240%2F12%3A00195075%21RIV13-MSM-21240___/
n15http://localhost/temp/predkladatel/
n4http://purl.org/net/nknouf/ns/bibtex#
n18http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n21http://linked.opendata.cz/resource/domain/vavai/subjekt/
n13http://linked.opendata.cz/ontology/domain/vavai/
n19https://schema.org/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n8http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n20http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n9http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n6http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n17http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n14http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n16http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F68407700%3A21240%2F12%3A00195075%21RIV13-MSM-21240___
rdf:type
skos:Concept n13:Vysledek
dcterms:description
Recently we have observed, that behavior of many contemporary logic synthesis and optimization processes depends on variable ordering in their input; they produce different results for different variable orderings. This fact can be exploited to escape local optima in the iterative resynthesis process, where individual synthesis and optimization steps are run repeatedly, in order to gradually improve the solution quality. In this paper we show an experimental analysis of influence of variable ordering on the result quality, for different synthesis steps in ABC. Next, we present a method of using random permutations of variables in the overall iterative synthesis process, in order to improve the result quality. Experimental evaluation using both standard benchmarks and industrial circuits is presented, to show the viability of the concept. Recently we have observed, that behavior of many contemporary logic synthesis and optimization processes depends on variable ordering in their input; they produce different results for different variable orderings. This fact can be exploited to escape local optima in the iterative resynthesis process, where individual synthesis and optimization steps are run repeatedly, in order to gradually improve the solution quality. In this paper we show an experimental analysis of influence of variable ordering on the result quality, for different synthesis steps in ABC. Next, we present a method of using random permutations of variables in the overall iterative synthesis process, in order to improve the result quality. Experimental evaluation using both standard benchmarks and industrial circuits is presented, to show the viability of the concept.
dcterms:title
On Using Permutation of Variables to Improve the Iterative Power of Resynthesis On Using Permutation of Variables to Improve the Iterative Power of Resynthesis
skos:prefLabel
On Using Permutation of Variables to Improve the Iterative Power of Resynthesis On Using Permutation of Variables to Improve the Iterative Power of Resynthesis
skos:notation
RIV/68407700:21240/12:00195075!RIV13-MSM-21240___
n13:predkladatel
n21:orjk%3A21240
n3:aktivita
n6:I
n3:aktivity
I
n3:dodaniDat
n16:2013
n3:domaciTvurceVysledku
n18:2910977 n18:2194937
n3:druhVysledku
n14:D
n3:duvernostUdaju
n20:S
n3:entitaPredkladatele
n11:predkladatel
n3:idSjednocenehoVysledku
156504
n3:idVysledku
RIV/68407700:21240/12:00195075
n3:jazykVysledku
n9:eng
n3:klicovaSlova
logic synthesis; resynthesis; iterative processes; permutation
n3:klicoveSlovo
n8:permutation n8:logic%20synthesis n8:iterative%20processes n8:resynthesis
n3:kontrolniKodProRIV
[B6839D5BD77F]
n3:mistoKonaniAkce
Freiberg
n3:mistoVydani
Freiberg
n3:nazevZdroje
Proc. of 10th International Workshop on Boolean Problems
n3:obor
n17:JC
n3:pocetDomacichTvurcuVysledku
2
n3:pocetTvurcuVysledku
2
n3:rokUplatneniVysledku
n16:2012
n3:tvurceVysledku
Schmidt, Jan Fišer, Petr
n3:typAkce
n5:WRD
n3:zahajeniAkce
2012-09-19+02:00
s:numberOfPages
8
n4:hasPublisher
Technische Universität Bergakademie
n19:isbn
978-3-86012-438-3
n15:organizacniJednotka
21240