用于增量映射优化的基于可满足性的再替换制造技术

本公开涉及用于增量映射优化的基于可满足性的再替换。本文的实施例描述了在映射网络中选择门，然后将门从库单元解映射为布尔表达式。再替换可以对门执行，以确定其逻辑是否可以使用例如无关项集合和门的窗口内的候选除数来简化。如果由于执行再替换产生的新的布尔表达式具有等效功能，则门可以使用新的布尔表达式来重新映射，这可以减少与映射网络相对应的电路设计的面积。这些步骤可以对映射网络迭代地执行。代地执行。代地执行。

【技术实现步骤摘要】
用于增量映射优化的基于可满足性的再替换


[0001]本公开中提出的实施例大体上涉及电子设计自动化(EDA)中的单元映射网络上的基于无关项的再替换。

技术介绍

[0002]基于布尔可满足性(SAT)的优化确定是否存在对给定布尔公式(例如与网表中的逻辑电路系统相关联的布尔表达式)的变量的指派，该指派使公式产生真作为输出。SAT求解器包括专门的算法，用于确定给定的SAT实例是否可以通过产生真作为输出来满足，或者通过产生假作为输出来不满足。
[0003]节点替换是一种典型的逻辑合成技术，它可以通过使用基于SAT的推理计算无关项灵活性来增强其可扩展性和质量。现代的基于无关项的再替换和重新映射能够使用插值在局部上下文中优化逻辑电路系统的布尔函数，而无需显式计算其无关项集合。这种技术是网络再合成的有趣方法，因为它们执行局部网络变换来重新表达给定节点(门)的逻辑，这可以减少网表的大小并且节省电路设计中的空间。先前的解决方案在基于查找表(LUT)的技术映射之后采用这种基于SAT的方法进行再合成。在一种先前方法中，基于SAT的方法被重新制定，以在专用集成电本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种方法，包括：在映射网络中选择门；将所述门解映射为当前布尔表达式；生成针对所述门的无关项集合，所述无关项集合包括多个无关项，其中针对目标门的输入序列不影响所述映射网络中的另一门的输出功能性；由处理设备，使用所述无关项集合来执行再替换，以生成针对所述门的新的布尔表达式；以及响应于确定所述新的布尔表达式在功能上等同于所述当前布尔表达式，基于所述新的布尔表达式来将所述门重新映射为映射门。2.根据权利要求1所述的方法，还包括：针对所述映射网络中的每个门执行再替换，以确定所得到的新的布尔表达式是否在功能上等同于相应的当前布尔表达式。3.根据权利要求2所述的方法，还包括：通过多次迭代针对所述映射网络中的每个门执行再替换。4.根据权利要求3所述的方法，还包括：通过所述多次迭代，识别所述映射网络中的多个门，所述多个门具有在功能上等同于当前布尔表达式的新的布尔表达式；响应于完成所述多次迭代，将所述多个门重新映射到映射节点。5.根据权利要求1所述的方法，还包括，在执行再替换之前：识别针对所述门的窗口，所述窗口包括所述门的扇入的一个或多个级别和所述门的扇出的一个或多个级别；以及从所述窗口内识别在执行再替换时要使用的除数。6.根据权利要求1所述的方法，其中将所述门解映射包括：将所述门从库单元解映射到所述当前布尔表达式。7.根据权利要求1所述的方法，其中生成所述无关项集合包括：以合取范式(CNF)格式制定SAT实例。8.根据权利要求1所述的方法，其中执行再替换包括：执行因子形式(FF)文字成本计算，其中所述FF文字成本计算包括重新表达所述门的所述新的布尔表达式的文字成本以及响应于执行再替换而移除的零扇出门的最大扇出自由锥(MFFC)的文字成本。9.根据权利要求1所述的方法，其中在执行再替换之后，由所述映射网络定义的电路的设计是包括映射节点和未映射节点的混合设计。10.根据权利要求1所述的方法，还包括：...

【专利技术属性】
技术研发人员：V，
申请(专利权)人：美商新思科技有限公司，
类型：发明
国别省市：