布尔网络技术映射中单向割的高效枚举
数据结构与算法
2016-03-25 v1
摘要
在技术映射中，枚举要由标准单元替换的子电路或割是决定解的质量和执行速度的重要步骤。在本工作中，我们将割视为边的集合而非节点的集合，并基于此给出割的分类。研究表明，如果将枚举限制在一个称为单向割的割子类，解的质量不会下降。我们还表明此类割等价于[14]中首次提出的称为强线割的已知割类。我们提出了一种基于新颖图剪枝算法的高效枚举方法，该算法利用网络流来近似最小强线割。所提枚举方法的运行时间对于大量割的枚举被证明是相当实用的。
引用
@article{arxiv.1603.07371,
title = {Efficient Enumeration of Unidirectional Cuts for Technology Mapping of Boolean Networks},
author = {Niranjan Kulkarni and Sarma Vrudhula},
journal= {arXiv preprint arXiv:1603.07371},
year = {2016}
}