On Using Permutation of Variables to Improve the Iterative Power of Resynthesis

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21240%2F12%3A00195075" target="_blank" >RIV/68407700:21240/12:00195075 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

On Using Permutation of Variables to Improve the Iterative Power of Resynthesis

Popis výsledku v původním jazyce

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 onthe 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 standardbenchmarks and industrial circuits is presented, to show the viability of the concept.

Název v anglickém jazyce

On Using Permutation of Variables to Improve the Iterative Power of Resynthesis

Popis výsledku anglicky

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 onthe 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 standardbenchmarks and industrial circuits is presented, to show the viability of the concept.

Druh

D - Stať ve sborníku

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

—

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2012

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Proc. of 10th International Workshop on Boolean Problems

ISBN

978-3-86012-438-3

ISSN

—

e-ISSN

—

Počet stran výsledku

8

Strana od-do

107-114

Název nakladatele

Technische Universität Bergakademie

Místo vydání

Freiberg

Místo konání akce

Freiberg

Datum konání akce

19. 9. 2012

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—