InfinitPro是泛联新安自研的超大规模FPGA验证系统,基于多FPGA高速交换互连架构,专为SoC/ASIC芯片设计验证打造。支持从RTL到FPGA原型的全流程自动化处理,自动综合、自动划分映射、自动优化、深度调试,搭配TBA事务级加速引擎与云就绪工具链,让芯片设计团队实现验证效率10-100倍提升。
01 流片前最缺的不是"时间",是"接近真实的环境"
芯片研发的节奏越来越不友好:
- 设计规模涨得快:SoC集成度每年上一个台阶,10亿门级已是高端常态
- 流片成本高到吓人:一次先进制程流片动辄千万美元起步
- 软件迭代拖到最后:驱动、操作系统、应用软件往往在拿到硅片之后才刚开始集成
传统仿真器在代码层跑得动,但跑到操作系统启动、PCIe驱动DMA、NoC与DDR控制器协同------kHz级的仿真速度根本等不起。
这就是原型验证存在的理由:在流片前,把完整设计加载到多颗FPGA上,以接近真实的速度运行操作系统、跑应用软件、做压力测试。它是芯片"接近真实环境"的最早一次演练,也是流片前最后一次发现问题机会。
但这条路被两家国外工具主导:Synopsys HAPS、Cadence Protium。本土团队想用,要么走国际渠道、要么承受百万级人民币的预算压力。
InfinitPro的存在意义,是让这条路在国内就能跑通。
02 InfinitPro:从RTL到位流的全流程自动化
InfinitPro的定位一句话讲清:把SoC设计自动映射到多颗FPGA原型上,以接近真实的速度跑起来 , 10亿门级也能在原型上跑Linux。
五组核心能力:
- 多FPGA高速交换互连架构:自研高速交换架构应用于原型验证硬件,灵活可扩展,单系统容量可达10亿门级
- 从RTL到原型的全流程自动化:自动综合、自动划分映射、自动优化,无需手工拆分
- 主频驱动的自动划分与映射:时钟域自动分析、自适应划分粒度、多TDM比率(最大2048:1)
- 海量波形深度调试:系统集成探针(无需额外硬件),VCD格式,Web波形展示
- 云就绪全流程:基于公有云/私有云/混合云的远程验证与调试,核心IP资产不出门
SoC设计规模远大于单颗FPGA容量,必须"切碎"到多颗FPGA上跑。切多少、怎么切、跨FPGA的信号如何高速交换,这三件事决定了原型能不能跑得动、跑得稳。InfinitPro最大支持2048:1的TDM比率,配合自研高速交换架构,10亿门级SoC也能在原型上跑起来,这是国内同类工具极少做到的容量档位。
****"Web波形展示+混合云远程调试"是另一条隐藏的价值线。****芯片设计的研发团队往往跨城市、跨院区、甚至跨企业协作。InfinitPro的调试模块基于Web架构,团队成员从浏览器登录就能调波形、看信号;混合云部署让核心IP资产在企业内网,访问入口可在云端,既满足安全,又满足协作,这是分布式研发团队的标配。
03 什么团队最需要InfinitPro
- 做先进制程SoC/ASIC的团队:流片成本千万级起,硅前最后一关的验证密度决定成败
- 需要硅前软件集成的团队:操作系统、驱动、固件需要接近真实速度的运行环境
- 国产芯片研制团队:本土供应链、自主可控、避免国际工具的合规风险
- 对成本敏感但规模上量的团队:InfinitPro提供与国际工具同档能力,本币结算、本土服务
FAQ
Q1:InfinitPro能替代Synopsys HAPS或Cadence Protium吗?
InfinitPro基于多FPGA高速交换互连架构,支持从RTL到原型的全流程自动化,最大2048:1 TDM比率,10亿门级SoC可在原型上跑通。
Q2:10亿门级真能在原型上跑起来吗?
InfinitPro单系统容量可达10亿门级。能否完整跑通与设计特征、跨FPGA划分粒度、外设接口需求相关,PCIe3.0×8、DDR4、QSFP28、HDMI2.1、DP2.1、千兆/万兆以太网、USB3.0、Micro-USB、JTAG、UART、IIC、SPI等已原生支持。具体项目建议联系团队做样例评估。
Q3:远程团队怎么协作?
InfinitPro调试基于Web架构,团队成员从浏览器登录就能调波形、看信号;同时支持公有云、私有云、混合云三种部署模式,核心IP资产可留在企业内网,访问入口可在云端。异地研发团队、跨院区分工、芯片设计与IP供应商协同,这几种协作场景都能直接复用。