"Freiberg" . "Freiberg" . "Schmidt, Jan" . "Technische Universit\u00E4t Bergakademie" . . . "I" . "On Using Permutation of Variables to Improve the Iterative Power of Resynthesis"@en . "RIV/68407700:21240/12:00195075!RIV13-MSM-21240___" . . . "On Using Permutation of Variables to Improve the Iterative Power of Resynthesis" . . "2"^^ . "8"^^ . . "Proc. of 10th International Workshop on Boolean Problems" . "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." . . . "21240" . . "2"^^ . "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."@en . . . . "Fi\u0161er, Petr" . . . "RIV/68407700:21240/12:00195075" . . "2012-09-19+02:00"^^ . "On Using Permutation of Variables to Improve the Iterative Power of Resynthesis"@en . "978-3-86012-438-3" . "156504" . . "On Using Permutation of Variables to Improve the Iterative Power of Resynthesis" . . "[B6839D5BD77F]" . "logic synthesis; resynthesis; iterative processes; permutation"@en . .