A Parametric Architecture Description Framework for Embedded FPGAs and Multi-objective QoR-driven Architecture Exploration
-
摘要: 相较于传统的货架FPGA,嵌入式FPGA的最大区别在于允许开发者根据特定应用的需求独立选择最合适的硬件架构参数(K、N、互连拓扑等),这就使得架构空间探索不再仅仅是纯学术领域的研究方法,也是必须评估数十上百份架构文件并反复迭代选型的实际工程任务。现有的架构描述框架仍以手工编写架构文件与批处理脚本为主,每次参数调整都要在多份后端文件间逐处同步,难以支撑规模化的架构探索。针对此问题本文提出一种支持多后端架构文件统一描述的参数化架构描述框架,该框架将架构参数按独立性分为工艺常量、耦合参数与独立参数三层,各后端描述由独立的渲染函数自动派生。目前该框架已适配VPR、OpenFPGA、Yosys三路后端并成功扩展至COFFE,并已通过跨工具链全流程验证。依托该框架批量生成架构描述文件,提出基于参数扫描的架构探索方法,系统扫描了查找表(LUT)输入数K与簇规模N的取值组合,从面积、关键路径延迟及二者乘积三个维度衡量每种参数配置的质量结果。结果显示,面积与延迟在(K,N)参数的优化偏好上呈相反方向。还公开发布了一份涵盖5个应用域、包含同构与异构架构的Quality of Results (QoR)数据集,可作为eFPGA架构空间探索的公共标准测试集。Abstract:
Objective Architecture parameters of Commercial off-the-shelf Field Programmable Gate Arrays (FPGAs) are fixed by the vendor and reused across products. Embedded FPGAs (eFPGAs) leave that choice to the architect, so the LUT input size K, the cluster size N, the interconnect topology, and the heterogeneous tiles are all configurable for the target application. This makes architecture exploration a task in design flow, where tens to hundreds of architectures may have to be drafted and compared before one is settled on. The way architectures are described today holds such exploration back: every architecture is written out by hand and re-aligned across the architecture files of multiple backend toolchains after each parameter change, no formal model keeps these files consistent, and measured QoR data spanning real application domains and heterogeneous tile combinations are rarely shared. To loosen these frictions, the work reported here treats eFPGA architecture description as a research object. The description is given a typed form on which multi-view generation and field-level checking are formally defined, and this model is realized as an open framework that drives the mainstream backend toolchains from one source description. A parameter-sweep design space exploration is then carried out on the framework, and a multi-domain QoR dataset is released alongside as a public benchmark. Methods HorizonArch, the parametric framework proposed in this work, organizes architecture parameters into three independence layers ( Table 1 ). L0 captures process invariants that depend only on the technology node; L1 holds coupled parameters such as K, N, segment length, switch block type, and channel connectivity, where one change forces updates across many fields in the architecture files of different backend toolchains; and L2 holds independent parameters that the architect can set on their own. Architecture construction is formalized as one operator B that maps a parameter vector p to a complete architecture object (Fig. 4 ), governed by five formal rules: parameter completeness (R1), fragment independence (R2), type compatibility (R3), explicit coupling (R4), and static checkability (R5). Each backend artifact is then produced by an independent derivation function that consumes the same source object, so adding a new tool requires only one new view rather than edits across all existing ones. Field-level validation runs at load time, and cross-field references are checked before any backend is invoked. The class structure (Fig. 3 ) splits the architecture into synthesis, circuit, and layout views, with each semantic element declared only once. Three extension levels keep the framework open: G1 adds a black-box module, G2 enlarges the value set of an existing coupled parameter, and G3 introduces a new coupled parameter together with its constrained value set. Built on this framework, a parameter-sweep design space exploration method scans the (K, N) grid and the heterogeneous tile combinations, and assesses each configuration using three QoR metrics: area, critical-path delay (CPD), and area-delay product (ADP), where ADP is a derived composite metric calculated from area and CPD.Results and Discussions End-to-end validation confirms that one source description drives VPR, OpenFPGA, and Yosys consistently; COFFE is validated through interface integration and SPICE startup ( Table 4 ,Table 5 ), and the G1, G2, and G3 extension experiments all pass the cross-field checks. The design space exploration study then reveals a clear divergence among the three QoR metrics on the (K, N) plane (Fig. 5 ,Fig. 6 ). Area is dominated by K and favors small K, and most circuits place their area optimum at K=4 N=4. CPD, in contrast, is mildly negatively correlated with both K and N, and its optimum clusters near (8, 10) and (7, 10). The relative range across the twenty (K, N) points (Table 7 ) is much larger for area and ADP than for CPD, so parameter choice gives a much bigger lever on cost than on raw delay. A study of default configurations (Table 8 ) shows that K=4 N=4 reaches the per-circuit ADP optimum on 68% of circuits and stays within about six percent on average, while its CPD deviates by close to fifty percent; K=8 N=10 takes the opposite role, with its CPD deviation cut to 5.9% and 30.8% of circuits hit exactly, but its area and ADP deviations soar past 670% and 480%. A random-forest cross-domain surrogate reaches about 65% top-5 accuracy, so a parameter sweep is still needed when the design target is tight.Conclusions This work presents HorizonArch, a formal multi-backend parametric architecture description framework for eFPGA exploration. The framework drives VPR, OpenFPGA, and Yosys from one source description and exposes an extensible COFFE interface. The parameter-sweep exploration carried out on the framework shows that area and CPD favor opposite directions in the (K, N) plane, which means eFPGA architecture parameters should be chosen against an explicit design target rather than a default value. An open QoR dataset covering five application domains is released alongside as a public benchmark. Future work will complete the COFFE SPICE rewriting component, refit the routing-area coefficient with measured data, and explore more efficient exploration strategies on top of the framework. -
表 1 字段层次化模型
层级 判定标准 典型例子 修改入口 L0工艺不变量 工艺节点决定即固定 r_minw、CLB/DSP绝对面积系数、金属层R/C 工艺预设 L1耦合参数 单一参数变动引发跨字段联动 $ K $、$ N $、tier、segment段长、$ {F}_{s} $、switch_block类型、$ {F}_{c} $ 构造算子B L2独立参数 可独立取值 features 列表项、架构名 架构实例直接声明 表 2 架构描述框架的参数扩展能力
粒度 改动面 修改示例 G1YAML加条目 追加BlackboxModel与params.*_modes模式条目 双端口BRAM异构模块 G2现有参数加取值 数值参数追加取值,必要时扩展模板分支 BRAM容量、DSP位宽 G3加受约束枚举 新增枚举白名单及对应模板分支 进位链三种实现形式 表 3 三类架构编写方法的能力对比
维度 手工 简单替换脚本 本框架 跨后端字段一致 人工对齐 在脚本内手写对齐逻辑 单源声明,变换同步 跨字段约束R1–R5 人工保证 不检查 加载期校验 新片段类型支持 重写架构 改脚本本身 G1–G3的扩展层级 表 4 本文框架与已有开源架构工具的技术差异
表 5 基于HorizonArch框架的eFPGA DSE方法
项 取值 应用域 crypto, comm, ctrl, dsp, ml 基准电路 64 K 4, 5, 6, 7, 8 N 4, 6, 8, 10 异构tile组合 LUT only, DSP, BRAM, DSP and BRAM both 每案例扫描配置 5 × 4 = 20 个 (K, N)对 案例总数 156 VPR 配置 VTR 8.0, $ L=4 $, $ \text{fc}\_\text{in=}0.15 $ 表 6 三种QoR的 rel_range 分布
指标 均值 中位数 P90 rel_range>100%占比 CPD 50.9% 48.5% 75.7% 3.8% area 675.1% 740.1% 935.6% 98.1% ADP 516.3% 509.4% 742.0% 97.4% 表 7 默认配置策略的多指标对比
默认配置 CPD 平均偏离 area 平均偏离 ADP 平均偏离 对应 metric 命中率 随机选取 19.7% 234.4% 174.8% — K=4 N=4 47.9% 0.6% 5.8% ADP 67.9% K=8 N=10 5.9% 673.2% 487.0% CPD 30.8% -
[1] TANG Xifan, GIACOMIN E, ALACCHI A, et al. OpenFPGA: An opensource framework enabling rapid prototyping of customizable FPGAs[C]. 2019 29th International Conference on Field Programmable Logic and Applications (FPL), Barcelona, Spain, 2019: 367–374. doi: 10.1109/FPL.2019.00065. [2] KOCH D, DAO N, HEALY B, et al. FABulous: An embedded FPGA framework[C]. The 2021 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, 2021: 45–56. doi: 10.1145/3431920.3439302. (查阅网上资料,本条文献为虚拟会议,未找到会议地信息,请确认). [3] LI Ang and WENTZLAFF D. PRGA: An open-source FPGA research and prototyping framework[C]. The 2021 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, 2021: 127–137. doi: 10.1145/3431920.3439294. (查阅网上资料,本条文献为虚拟会议,未找到会议地信息,请确认). [4] ELGAMMAL M A, MOHAGHEGH A, SHAHROUZ S G, et al. VTR 9: Open-source CAD for fabric and beyond FPGA architecture exploration[J]. ACM Transactions on Reconfigurable Technology and Systems, 2025, 18(3): 39. doi: 10.1145/3734798. [5] F4PGA Authors. F4PGA[EB/OL]. (2022)[2026-04-25]. https://f4pga.org/. (查阅网上资料,未找到本条文献具体更新日期信息,不确定标题修改是否正确,请确认). [6] 蒋丹萍, 戴紫彬, 刘燕江, 等. 贝叶斯优化驱动的粗粒度可重构密码逻辑阵列设计空间探索方法[J]. 电子与信息学报, 2025, 47(11): 4482–4492. doi: 10.11999/JEIT250624.JIANG Danping, DAI Zibin, LIU Yanjiang, et al. Bayesian optimization-driven design space exploration method for coarse-grained reconfigurable cipher logic array[J]. Journal of Electronics & Information Technology, 2025, 47(11): 4482–4492. doi: 10.11999/JEIT250624. [7] 张聪武, 刘澳, 张科, 等. 面向通用处理器芯粒架构探索和评估的系统级模拟器[J]. 电子与信息学报, 2024, 46(12): 4575–4588. doi: 10.11999/JEIT240299.ZHANG Congwu, LIU Ao, ZHANG Ke, et al. A system-level exploration and evaluation simulator for chiplet-based CPU[J]. Journal of Electronics & Information Technology, 2024, 46(12): 4575–4588. doi: 10.11999/JEIT240299. [8] 赖李洋, 郑锫骏, 梁海成, 等. 路径规划算法的高层综合设计研究[J]. 电子与信息学报, 2024, 46(11): 4132–4140. doi: 10.11999/JEIT240210.LAI Liyang, ZHENG Peijun, LIANG Haicheng, et al. Case study of high level synthesis on path planning algorithm[J]. Journal of Electronics & Information Technology, 2024, 46(11): 4132–4140. doi: 10.11999/JEIT240210. [9] BETZ V, ROSE J, and MARQUARDT A. Architecture and CAD for Deep-Submicron FPGAs[M]. Boston: Kluwer Academic Publishers, 1999. (查阅网上资料, 未找到本条文献页码信息, 请确认). [10] AHMED E and ROSE J. The effect of LUT and cluster size on deep-submicron FPGA performance and density[J]. IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 2004, 12(3): 288–298. doi: 10.1109/TVLSI.2004.824300. [11] ZHENG Su, QIAN Jiadong, ZHOU Hao, et al. GRAEBO: FPGA general routing architecture exploration via Bayesian optimization[C]. 2022 32nd International Conference on Field-Programmable Logic and Applications (FPL), Belfast, UK, 2022: 282–286. doi: 10.1109/FPL57034.2022.00050. [12] CAO Xianfeng, KUANG Huizhen, WANG Yuanqi, et al. Two-phase transistor sizing for FPGAs via Bayesian optimization[C]. Proceedings of the 2025 ACM/SIGDA International Symposium on Field Programmable Gate Arrays. Monterey, USA, 2025: 78–84. doi: 10.1145/3706628.3708825. [13] STEINBERG D, BUDINSKY F, PATERNOSTRO M, et al. EMF: Eclipse Modeling Framework[M]. 2nd ed. Upper Saddle River: Addison-Wesley Professional, 2008. (查阅网上资料, 未找到本条文献页码信息, 请确认). [14] YAZDANSHENAS S and BETZ V. COFFE 2: Automatic modelling and optimization of complex and heterogeneous FPGA architectures[J]. ACM Transactions on Reconfigurable Technology and Systems, 2019, 12(1): 3. doi: 10.1145/3301298. [15] VOGT H, ATKINSON G, WARNING D, et al. Ngspice user’s manual (version 46)[EB/OL]. (2026-03-31)[2026-04-26]. https://ngspice.sourceforge.io/docs.html. [16] University of Toronto EECG. iFAR–Intelligent FPGA architecture repository[EB/OL]. [2026-04-25]. https://www.eecg.utoronto.ca/vpr/architectures/. (查阅网上资料,未找到本条文献作者和更新日期信息,请确认). -
下载: