2.2 标准扩展的硬件账单

2.2 标准扩展的硬件账单：面积、时序与验证

本节摘要：标准扩展是合约价目表上的选购项——每勾选一项，账单上就多出执行单元、寄存器堆、数据通路、验证用例四类开销。本节给常用扩展逐项报价：整数乘除、原子、浮点、压缩、向量、控制状态寄存器访问，说明各项的面积量级、时序敏感点与软件前提，最后给出三种典型场景的选购组合。

价目表的读法

开讲前先统一口径。每个扩展的账单由四部分构成：执行单元（造一个能算的部件）、寄存器堆与状态（存操作数与上下文）、数据通路位宽（搬运数据的路修多宽）、验证与工具链（证明它算得对、让软件用得上）。前三项是硅片上的钱，第四项是工程排期里的钱——很多团队只算前三项，项目后期才发现第四项同样咬人。

另外要建立一个量级概念：一颗只有基线整数内核的小核，面积可以做到很小；加上乘除，增长可控；加上双精度浮点，浮点寄存器堆与运算单元的增长相当可观；再加上向量扩展，向量寄存器堆往往成为面积大头。具体数字随工艺浮动，但相对量级稳定，这正是账单思维的价值——不背绝对数，记相对结构。

常用标准扩展的账单矩阵

逐项报价与议价要点

M 整数乘除。乘法器可以做成单周期全并行，也可以迭代式多周期省面积——这是账单上的经典议价点：控制核选迭代式，性能核选流水化乘法器。除法器几乎必然多周期，重点不在快而在可被打断后正确恢复。验证上，乘除的边界值用例（极大值、零、符号组合）数量不小但结构规整，适合形式化方法一网打尽。

A 原子操作。单核视角下只是"读改写"一条特殊指令；多核视角下它是内存一致性的客户——独占访问要在总线上仲裁，缓存控制器要配合锁行。账单上最贵的往往不是指令本身，而是让它在多核环境下语义正确的那部分。没有多核计划的项目，这项可以晚点买。

F/D 浮点。账单的大头是浮点寄存器堆与规格化、舍入逻辑。时序上，双精度运算的长数据通路容易成为关键路径；很多核把浮点单元切成两三级流水来换主频，代价是结果晚到、调度要适应。验证负担集中在舍入模式与特殊值（无穷、非数、零的符号）的组合空间。

C 压缩指令。它买的不是算力而是代码密度——指令存储器带宽紧张的小系统里收益直接。硬件账单集中在取指级的解压逻辑与混合对齐处理；好消息是压缩与全长的等价性可以用自动化证明覆盖，验证负担在所有扩展里偏轻。软件前提是工具链全链路支持，如今早已不是问题。

V 向量。面积之王的候选：向量寄存器堆加上多车道执行单元，轻松超过其余扩展之和。它的微架构内容足够单独成章，第六章会专门拆解。这里只提醒账单读法：向量扩展的报价必须连着应用场景一起看——没有可向量化的负载，这笔钱一分都不该花。

Zicsr 与 Zifencei。两项小账单但都牵涉流水线深处的机制：控制状态寄存器访问通常要串行化处理，指令屏障要冲刷流水线与写缓冲。它们是从基线里拆出来的"系统级小扩展"，凡是打算跑操作系统的核都躲不开，第五章会正面讲它们的实现。

三种典型订单

⚠️ 常见坑：把"通用组合"当默认订单。多勾一个 A 扩展，单核看起来没什么，一旦产品规划走向多核，原子操作带来的一致性验证成本是按核数放大的——订单要看三年后的产品路线，不只看当下这份软件需求。

议价现场二：一颗微控制器的订单评审

把价目表用起来才算学会。假设评审会上的需求是：智能电表的控制核，跑一个小型实时系统，要国密算法加速，未来可能加一个窄带通信模块，成本卡得死。逐项过单：基线整数必买；乘除——计量算法频繁用，买，且选迭代式省面积；压缩——固件空间就是闪存成本，买；原子——单核实时系统暂时用不上，但通信协议栈的移植可能要，挂起待议；浮点——电表计算全整数域，软件库足够，不买；向量——没有可向量化的负载，不买；系统寄存器访问与指令屏障——要跑操作系统，必买；标量密码的国密分册——核心需求，买。

评审产出两件东西：一份给综合团队的目标扩展集合（面积预算随之可估），一份挂起清单（原子扩展标记"通信栈移植前复议"）。挂起清单的价值不小于订单本身——它把"现在不决定"变成"何时再决定"，避免需求反复摇摆撕裂设计基线。这套流程可以原样搬到你自己的项目评审上，只需要价目表（2.2 的矩阵）与需求清单两样输入。

常见问题快答

问：扩展可以事后通过软件模拟补上吗？ 可以但有代价。未实现浮点的核上，浮点指令触发非法指令异常，内核用软件模拟器接管——功能等价、速度慢两个数量级。偶尔用之可以接受（配置加载时算个系数），热点路径上用则是灾难。模拟兜底是"能跑"，不是"能用"。

问：同一颗芯片里不同核带不同扩展，合法吗？ 完全合法且常见——异构系统里小核只带整数与压缩、大核全配。麻烦在软件侧：任务调度器必须知道把哪种代码派给哪个核，运行时查询扩展能力的接口因此成了系统软件的标配。异构是自由，配套的调度复杂度是它的账单。

账单思维的最后一层提醒：扩展的成本不是一次性的。面积是一次付清，功耗与验证是持续付息——每一代工艺迁移、每一次回归重跑、每一个支持它的软件版本发布，账单都会再印一遍。所以下单前多问一句"这个扩展五年后还要不要"，答案直接影响今天该选标准件还是先软件过渡。会看价目表的是学徒，会看复利的才是掌柜。

本节要点回顾

• 账单四要素：执行单元、寄存器堆与状态、通路位宽、验证与工具链；第四项最常被漏算；
• 量级结构比绝对数重要：向量与双精度浮点是面积大户，压缩与系统级小扩展是轻账单；
• 议价点各有位置：乘除在单周期与迭代之间、浮点在流水级数之间、原子在单核与多核语义之间；
• 压缩买的是代码密度，向量买的是吞吐，都要求应用负载对得上；
• 订单要对着产品路线下：多核化路线会让原子操作的成本按核数放大。

标准价目表之外，合约还留了一页空白——自定义扩展。下一节讨论什么时候值得动用它。