信息部网站建设工作计划,平阴县建设工程网站,技术支持 优府网络太原网站建设,深圳建筑网站先遣兵
在了解 disjoint support decomposition 之前#xff0c;先学习两个基本的概念。 disjoint
数学含义上的两个集合交集#xff0c;所谓非相交#xff0c;即交集为空集。 A∩BC⊘A \cap B C \oslash A∩BC⊘ support
逻辑综合中的 supportsupportsupport 概念是…先遣兵
在了解 disjoint support decomposition 之前先学习两个基本的概念。 disjoint
数学含义上的两个集合交集所谓非相交即交集为空集。
A∩BC⊘A \cap B C \oslash A∩BC⊘ support
逻辑综合中的 supportsupportsupport 概念是指: 一个门 ggg 的 supportsupportsupport 是指该门 ggg 的所有原始输入PIPIPI。
例如有一个函数 Fouth(x)g(x)Fout h(x) g(x) Fouth(x)g(x) 其中 h(x)ABh(x) A Bh(x)AB g(x)DEg(x) D Eg(x)DE则 nodenodenode hhh 和 ggg 的 supportsupportsupport 分别为 { A, B }、{ D, E }FoutFoutFout 的 supportsupportsupport 为 { A, B, D, E }。
其他概念有兴趣可参考 逻辑综合知识点总结 持续更新中…
1. 简介 disjoint support decomposition 它是用于优化布尔函数的一种技术将其分解成具有不交 supportsupportsupport 的较小子函数。
一个布尔函数可以表示为 (sum of productsSOP)表达式或积和式product of sumsPOS表达式。 disjoint support decomposition 的目的是将给定表达式转换为具有较小且更易于处理的子表达式的形式。它的基本思想是识别原始表达式中没有共同变量的变量子集并将表达式分解为只取决于这些子集的较小表达式的和。这使得函数更容易进行优化因为较小的表达式通常更容易处理。
即
非相交分解 一个函数 FFF可以被子函数 KKK 和 JJJ 表示且 KKK 和 JJJ 的 supportsupportsupport 不相交且 4J$ 只有一个输出 FK(x1,x2,...,xj−1,J(xj,...,xn))F K (x_1, x_2, ..., x_{j-1}, J(x_j, ..., x_n)) FK(x1,x2,...,xj−1,J(xj,...,xn)) 例如有一个函数 F(x1x2)(x3⊕x4)F (x_1 x_2)(x_3 \oplus x_4) F(x1x2)(x3⊕x4) 最简单的 dsddsddsd 为图 (a) 所示 K(x3⊕x4)J1,J1(x1x2)K (x_3 \oplus x_4)J_1, J_1 (x_1 x_2) K(x3⊕x4)J1,J1(x1x2) 或者图 (b) K(x1x2)J2,J2(x3⊕x4)K (x_1 x_2)J_2, J_2 (x_3 \oplus x_4) K(x1x2)J2,J2(x3⊕x4) 再进一步表示为图 © FK(J1,J2)(x1x2)(x3⊕x4)F K(J_1, J_2) (x_1 x_2)(x_3 \oplus x_4)FK(J1,J2)(x1x2)(x3⊕x4) 如果一个 outputoutputoutput 被全部用 dsddsddsd 表示这意味着拿掉某一个 supportsupportsupport 不会对其他的 supportsupportsupport 支持的逻辑造成影响个人理解是否可以通过 dsddsddsd 分解由局部最优达到全局最优。
如果 FFF被一个 DAG(G)DAG(G)DAG(G) 表示的话也可以表示为应该比较容易理解: Edge(G)Edge(K)Edge(J)Edge(G) Edge(K) Edge(J) Edge(G)Edge(K)Edge(J)
2. 算法
TODO
3. 优点
TODO
