发明名称 |
Method and system for synthesizing a circuit representation into a new circuit representation having greater unateness |
摘要 |
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 the representation of the at least one sub-circuit into a sum-of-products or product-of-sums representation having greater unateness than the representation of the at least one sub-circuit, merging the sum-of-products or product-of-sums representation into the circuit representation to form a new circuit representation, and repeating until a desired level of unateness for the new circuit representation is achieved. Algebraic division is implemented to merge common expressions of the sum-of-products or product-of-sums representations. A zero-suppressed binary decision diagram is implemented to recursively decompose the representation of the sub-circuit.
|
申请公布号 |
US2002178432(A1) |
申请公布日期 |
2002.11.28 |
申请号 |
US20010931131 |
申请日期 |
2001.08.16 |
申请人 |
KIM HYUNGWON;HAYES JOHN P. |
发明人 |
KIM HYUNGWON;HAYES JOHN P. |
分类号 |
G06F17/50;(IPC1-7):G06F17/50;G06F9/45 |
主分类号 |
G06F17/50 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|