Method, system and computer-executable code are disclosed for synthesizing a representation of a circuit into a new circuit representation having greater unateness. The invention includes partitioning a circuit representation to obtain a representation of at least one sub-circuit, recursively decomposing...http://www.google.com/patents/US20020178432?utm_source=gb-gplus-sharePatent US20020178432 - Method and system for synthesizing a circuit representation into a new circuit representation having greater unateness