《Future Pharmacology》:Payload-Aware Tip-Over Stability Framework for a Heavy-Duty High-Lift Mobile Robot in Off-Site Construction
编辑推荐:
摘要:为嵌入式FPGA(eFPGA)选择路由架构成本高昂,因为候选架构的质量通常只有在物理实现完成后才能获知。本文将这一任务形式化为在验证预算为五个候选架构条件下的跨信息阶段决策问题,并比较了来自先前评估、布局和早期布线阶段的信息。在来自五个应用领域的52个电
摘要:为嵌入式FPGA(eFPGA)选择路由架构成本高昂,因为候选架构的质量通常只有在物理实现完成后才能获知。本文将这一任务形式化为在验证预算为五个候选架构条件下的跨信息阶段决策问题,并比较了来自先前评估、布局和早期布线阶段的信息。在来自五个应用领域的52个电路中,仅基于历史信息的H0策略在3%面积-延迟积(ADP)容差下保留五个候选架构时实现了82.69%的覆盖率,且无需实现任何目标候选架构。布局信息在P0阶段达到82.05%的覆盖率,未提供确认的改进。RT1阶段纳入了在第一次PathFinder迭代时记录的路由状态,将覆盖率提升至96.15%,较P0阶段确认提升了14.10个百分点。匹配的ScalarOnly消融实验表明,两种模型表示均受益于该响应,而StageRank在RT1阶段更频繁地保留精确最优架构。综上,这些结果表明,所提出的框架结合了可复用的历史知识、图表示和早期物理观测,能够支持系统且高效的eFPGA架构探索。历史评估为跨电路的初始选择提供了坚实基础,而目标电路的信息仅在电路与架构之间的交互变得可观测后才增加确认价值。RT1是评估中最早提供该信息的阶段,因此在所评估的协议下被选定为固定阶段。
一、研究背景与问题提出
嵌入式FPGA(eFPGA)将可重构逻辑直接集成到片上系统(SoC)中,其布线架构的选择对面积、延迟和可布线性有着直接影响。由于不同电路在网络连接、连接跨度、扇出和空间集中度等方面存在差异,适合某一电路的布线资源未必适合另一电路,因此当同一参数化架构面向新目标电路定制时,必须重新审视布线架构的选择。可靠的架构比较通常需要对每个候选架构执行完整的打包、布局和布线(PPR)流程,搜索类方法通过选择待评估候选来降低成本,快速评估器则在不完成完整物理设计流程的情况下估计候选质量。然而,现有研究主要支持当前探索内部的决策,尚未明确历史架构评估记录能否为未见电路提供有限候选集,以及目标电路的布局和布线状态何时开始增加决策价值。为此,研究人员将路由架构推荐形式化为在有限评估预算下的分阶段信息决策问题,通过统一评估预算和容差,使基于历史证据、布局信息和布线状态生成的候选集可直接比较,进而确定物理设计流程应在何处停止对完整候选池的探索。
二、研究内容与主要结论
研究人员在固定逻辑块组织(K=4,N=10)的条件下构建了包含54种布线变体的候选池,采用52个来自通信、密码学、控制、数字信号处理(DSP)和机器学习五个应用领域的电路进行五折交叉验证。在保留五个候选、3%面积-延迟积(ADP)容差的条件下,仅基于历史评估的H0策略实现了82.69%的覆盖率;布局信息阶段的P0达到82.05%,未提供确认改进;纳入第一次PathFinder迭代路由状态的RT1阶段将覆盖率提升至96.15%,较P0确认提升了14.10个百分点。RT2和RT10等更深布线阶段未产生稳定的聚合增益,仅重新分配了成功案例而未扩大覆盖范围。研究还发现,早期时序信息是修正案例中最一致的物理特征,被修正候选的最终ADP排名中位数从P0的15提升至RT1的1。基于质量与成本的综合考量,RT1被选定为固定部署阶段,此时完整候选池仅需推进至第一次路由响应即可实现高覆盖率缩减。
三、关键技术方法
研究人员提出了StageRank算法,该算法采用边感知图同构网络(GINE)编码器对布局后网表图进行表示学习,通过特征级线性调制(FiLM)机制使图表示响应各阶段可用的架构描述符和物理特征。模型采用考虑平局带的截断Plackett-Luce列表排序目标(PL5),将优化目标与保留集目标对齐。为区分图结构表示的贡献,研究人员构建了匹配的ScalarOnly消融变体,其仅接收标量输入而省略图编码器。实验数据来自VTR和Koios基准测试及公开RTL项目,共生成2799个有效的电路-架构对。
四、研究结果
4.1 历史与早期物理信息的决策价值:H0在五个评估折中保持稳定,任意两个短列表共享至少四个架构,移除单个电路对覆盖率无影响的案例占94.9%。P0较H0下降0.64个百分点且置信区间包含零,未提供确认改进。RT1较P0提升14.10个百分点,最优命中率从49.36%升至83.33%,遗憾值从1.39%降至0.32%。匹配的ScalarOnly消融同样在P0到RT1间提升14.74个百分点,两种表示均受益于早期路由信息。
4.2 修正案例的物理特征分析:在156个电路-种子观测中,过渡审计识别出128个稳定命中、22个修正遗漏、6个持续遗漏和零丢失命中。全部22个修正案例中被修正候选具有更好的关键路径延迟(CPD)和更差的松弛,与最终CPD的秩相关从布局时的0.365提升至RT1的0.621,与最终ADP的秩相关从0.168提升至0.587。资源压力和路由搜索努力未呈现稳定的独立模式。
4.3 固定阶段选择:RT2修正一个RT1遗漏但丢失三个现有命中,覆盖率降至92.31%;RT10在156个案例中与RT1匹配150个,其三次修正被三次丢失抵消,95%配对区间为?4.49至5.13个百分点。中位累计VPR时间在P0为163.93秒、RT1为236.88秒、RT10为260.66秒、完整PPR为602.73秒。P0到RT1是唯一具有确认正增益的延续阶段。
五、讨论与结论
研究结果表明,历史评估可在无需物理实现的情况下提供82.69%的覆盖率,当需要更高选择置信度时,完整候选池仅需推进至第一次路由响应即可将覆盖率提升至96.15%。继续推进完整候选池超出RT1仅增加成本而无稳定覆盖率改进。该框架支持渐进式CAD流程,将物理信息获取视为选择过程的一部分,而非要求完整实现整个候选池后再进行选择。匹配的ScalarOnly消融证实了早期路由的价值在两种表示中均存在,StageRank在精确最优保留方面具有数值优势。研究结论指出,布线架构探索成为渐进过程,候选架构在每次设计完成物理实现前即被缩减。未来工作应扩展至包含查找表(LUT)大小、簇大小和布线参数的联合架构空间,并探索面向应用领域的架构聚合方法,但任何此类扩展均需独立评估,因为当前结果是在K=4和N=10的固定值下产生的。