文件名称：最小逻辑再合成-研究论文
文件大小：121KB
文件格式：PDF
更新时间：2024-06-09 12:05:52
incremental algorithms iterative design computer
逻辑综合中的大多数问题在计算上都很困难，可以使用启发式方法解决。 这通常会使算法不稳定。 如果输入稍有变化，则合成的新结果可能会明显不同。 设计人员可能会花费大量的精力进行电路的手动优化，因此希望保留尽可能多的人为洞察力。 这激发了对增量综合的需求。 我们提出了一种重新合成算法，该算法允许设计人员指定电路的不可重新合成部分。 我们定义了由再合成引起的最小变化的概念，即给定电路的功能变化，我们检查最小变化以实现该变化。 为了评估重新合成的区域，我们介绍了通过一组节点的重新合成来评估“灵敏度”或增益的技术。 我们以实验结果和未来方向作为总结。