Parameter domain pruning for improving convergence of synthesis algorithms

This paper presents a parameter domain pruning method. Parameter domain pruning aims to identify parameter sub-domains that are more likely to produce feasible and good design solutions. These parameter sub-domains are found using the proposed simplified affine transforms (SAT) operators. Selected variable sub-domains can then be used as input to exploration-based synthesis tools and help improve the convergence of synthesis algorithms.