Baochip-1x：面向高保障应用的22nm“大部分开源”SoC

对大多数人来说，从喜欢的——或者最便宜的——厂商那里随便拿一颗微控制器或 SoC 就已经够用了。但如果你真的在意高保障计算（high assurance computing），要求每一颗晶体管都能被交代清楚，事情就麻烦了。这正是 Andrew “Bunnie” Huang 出手流片 Baochip-1x 的原因。

从 Precursor 的 FPGA CPU 长出来的芯片

Baochip-1x 的设计大量继承了 Precursor 设备中那颗基于 FPGA 的 CPU——后者本身就被宣称是一种可完整验证的通信设备方案。由于芯片带有 MMU，理论上任何支持 RV32IMAC 指令集的 RISC-V 软件都能在它上面运行。

想深入了解的人可以翻看官方提供的 Coder’s Guide；设计源码则以 SystemVerilog 和 Verilog 形式放在 GitHub 上。也正因为名称里带着“mostly-open”（大部分开源），说明并非所有部分都完全开放——但对需要逐层审计的高保障场景来说，这已经比市面上绝大多数 SoC 透明得多。

规格与“Dabao”评估板

除了自己动手组装（DIY assembly），你还可以直接拿到实体硬件，其中包括一块外形非常像 Raspberry Pi Pico 的 “Dabao” 评估板。芯片的主要配置如下：

• 单核 350 MHz VexRISC-V 核心
• 4 MB 阻变存储器（RRAM）
• 2 MB SRAM
• 一系列与安全相关的硬件特性

对于关注可验证计算、开源硬件以及 RISC-V 生态的开发者来说，这是一颗少见的、把“可审计”放在第一位的 22nm SoC。