第九十二章 潮涌

中车时代电气的孙总在前海联合实验室连续待了三天。他这次不是来评估产品，是来跟何晓天和阿米特一起分析形式化验证的最新结果。

薇薇安的团队在SIL4认证上取得了阶段性突破——Atlas-500工控版处理器内核的双模冗余机制通过了前几项关键故障模式的形式化证明。在时钟故障、电源故障和寄存器单粒子翻转三类场景下，冗余机制均在规定的故障容错时间间隔内成功检测并触发安全状态。这是Atlas在功能安全领域迈出的最重要一步，也是中车时代电气SIL4认证项目中第一个通过形式化验证的芯片模块。

“SIL4认证最核心的门槛就是形式化验证。目前国内做SIL4芯片的公司，大部分卡在这一步卡了很长时间。薇薇安团队用形式化方法把处理器内核的故障检测覆盖率证明到了超过百分之九十九点几，这个数字在轨道交通行业里是标杆级的。”

何晓天把形式化验证的阶段性报告递给他。孙总戴上老花镜从头看到尾，翻到结论部分时停下来，把那段关于故障检测覆盖率的描述反复看了几遍。

“明年年中，Atlas-500工控版能不能提交SIL4正式认证？”

“能。”

“好。中车下一代高铁牵引系统的变流器控制单元，处理器平台锁定Atlas-500工控版。首批订单量对标诺基亚功能机芯片采购量级。另外，中车在海外——东南亚铁路、东欧地铁、非洲城轨的项目——会优先采购已通过SIL4认证的国产芯片。Atlas-500工控版如果顺利通过SIL4，海外轨道交通项目的芯片订单也会跟着进来。”

孙总走后，赵磊在客户花名册上中车时代电气那一栏加了一行备注：下一代高铁牵引系统处理器平台锁定Atlas，首批订单量对标诺基亚功能机量级，海外轨道交通项目同步跟进。

“工控芯片的量不如手机芯片大，但每一颗芯片的利润率和客户粘性远超消费电子。高铁牵引系统的处理器一旦通过认证进入供应链，后续车型会持续采购很多年。而且中车在海外轨道交通项目的扩张速度很快，东欧和东南亚是重点市场。”

周明远补充了一个数字。工控芯片的毛利率通常远高于功能机芯片和智能机芯片，如果能稳定出货几年，对利润的贡献接近一条功能机产品线。

比亚迪的周总在随后一周打来电话。他说比亚迪新一代纯电轿车的智能驾驶域控制器正在选型，需要一颗能在零下四十度到一百二十五度范围内稳定运行、同时支持多路摄像头输入和实时AI推理的车规级SoC。他看了Atlas-600跟AMD联合开发的双指令集SoC架构方案，觉得技术路线上很有前景，但需要确保流片和认证时间能跟车型研发周期对齐。

何晓天把Atlas-600的时间表重新确认了一遍，回复周总：流片预计在年中，如果顺利，车规认证可在之后几个季度内完成，正好赶上比亚迪新车型的SOP。多路摄像头输入需要加一个图像信号处理模块，这个模块Atlas已经在Atlas-500L Plus上验证过，车规级版本只需做可靠性升级。

“ISP模块的车规级升级我们来做。德赛西威那边已经提供了车载摄像头的规格参数，联合验证可以在前海实验室完成。”何晓天说。

德赛西威的卢总在之后一周来到前海，带来了一整套车载信息娱乐系统的软件栈，包括3D导航、语音助手、多音区识别和车载应用商店。他把软件栈部署在Atlas-600的FPGA原型上，连续跑了一整天，逐一测试每个应用的响应延迟和画面帧率。语音助手在多音区场景下识别准确率稳定在高位，3D导航的复杂路口渲染帧率没有掉帧，应用商店的下载和安装速度都很快。

“Atlas-600的性能在车载场景下已经超过了我们目前使用的某款国际品牌SoC。如果车规认证顺利，德赛西威愿意把下一代车载信息娱乐平台的处理器从国际品牌切换到Atlas。德赛西威的合作周期很长，一旦进入供应链，往往能持续供货很多年。这是一块很稳的营收来源。”卢总说。

林远舟送走卢总之后回到联合实验室，站在双指令集调度器的FPGA原型前面，看着示波器上ARM指令和x86指令交替跳动的波形。他对何晓天说，上辈子在深圳做芯片的时候，从来没想过有一天能看到一颗同时跑ARM和x86双生态的芯片在中国自己的实验室里被验证通过，而且是跟AMD联合开发的。上辈子觉得这是不可能的事——技术壁垒、专利壁垒、生态壁垒，三道墙每一道都高不可攀。这辈子三道墙都被拆了，技术壁垒靠自研，专利壁垒靠交叉授权，生态壁垒靠AMD和德赛西威、比亚迪这些合作伙伴一起搭。

何晓天推了推眼镜，指着示波器上那条不断切换的波形说，这不是墙，这是桥。当年在B区实验室画第一版时钟树的时候，Atlas只是一颗单核低功耗ARM处理器，现在Atlas-600同时跑着ARM和x86，连着比亚迪的电控系统和德赛西威的导航地图，后面还有中车时代电气的高铁变流器和AMD董事会里的苏珊在推动联合研发。这道桥从硅谷车库架到前海实验室，从一颗MPW样片架到一亿颗装机量，现在还远远没到尽头。

本书首发来自17K小说网，第一时间看正版内容！