Sciweavers

DAC
2004
ACM

Symmetry detection for incompletely specified functions

13 years 7 months ago
Symmetry detection for incompletely specified functions
In this paper, we formulate symmetry detection for incompletely specified functions as an equation without using cofactor computation and equivalence checking. Based on this equation, a symmetry detection algorithm is proposed. This algorithm can simultaneously find non-equivalence and equivalence symmetries. Experimental results on a set of benchmarks show that our algorithm is indeed very effective in solving symmetry detection problem for incompletely specified functions. Categories and Subject Descriptors: B.6.3 [Design Aids]: Automatic Synthesis, Switching Theory General Terms: Design, Theory
Kuo-Hua Wang, Jia-Hung Chen
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2004
Where DAC
Authors Kuo-Hua Wang, Jia-Hung Chen
Comments (0)