通过可行性寻求与超优化方法实现带I/O分配的布图规划
最优化与控制
2024-06-06 v1 硬件体系结构
摘要
可行性寻求方法为管理和解决连续问题中的复杂约束提供了一个系统框架，使其成为在约束日益异构的布图规划问题背景下值得探索的途径。经典的合法性约束可以表示为凸集的并集。在实现中，我们引入了一种重置策略，旨在有效减少用于可行性寻求公式的基于投影的方法中的算法发散问题。此外，我们介绍了超优化方法(SM)在布图规划中的新颖应用，它弥合了可行性寻求与约束优化之间的差距。SM采用扰动来引导可行性寻求算法的迭代走向具有减少的（不一定是最小的）总互连线长的可行解。为了评估Per-RMAP的性能，我们在MCNC基准和GSRC基准上进行了全面的实验。结果表明，与分支定界(B&B)方法相比，我们可以获得合法布图规划结果，速度提升166倍，而与最优结果相比，互连线长仅增加5%。此外，我们评估了考虑I/O分配约束的算法流程的有效性，该流程实现了6%的互连线长改进。此外，考虑到具有更大可行解空间的软模块，与最先进的分析方法PeF相比，我们获得了15%的运行时间改进。此外，我们将我们的方法与Parquet-4和Fast-SA在包含更大规模实例的GSRC基准上进行了比较。结果突显了我们的方法在布图规划质量和效率之间保持平衡的能力。
引用
@article{arxiv.2406.03165,
title = {Floorplanning with I/O assignment via feasibility-seeking and superiorization methods},
author = {Shan Yu and Yair Censor and Guojie Luo},
journal= {arXiv preprint arXiv:2406.03165},
year = {2024}
}