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 algorithm.

• Type: Conference
• Year: 2005
• Where: ISCAS
• Authors: Hua Tang, Alex Doboli
• Keywords: Domain Pruning Method, ISCAS 2005, Parameter Domain, Parameter Sub-domains