SoC 系统级验证
- 在硅前完成操作系统启动、驱动与固件验证，缩短流片后软件集成周期。
- InfinitPro 能力：多 FPGA 大容量原型、TBA 事务级加速、海量波形深度调试、Web 波形展示与远程调试
- 典型用例：RISC-V 多核 SoC 启动 Linux、PCIe 驱动与 DMA 测试、NoC 与 DDR 控制器协同验证
产品概述
InfinitPro 是一款基于多 FPGA 高速交换互连架构的超大规模 FPGA 验证系统，专为 SoC/ASIC 芯片设计验证打造。系统支持从 RTL 到 FPGA 原型的全流程自动化处理，包括自动综合、自动划分映射、自动优化和深度调试，显著提升芯片验证效率，为系统级验证和硅前软件开发提供大容量、高性能、海量探针深度调试能力。
产品功能
设计代码自动编译综合处理
RTL/ 网表自动综合，黑盒 IP 自动识别，增量编译
预览
主频驱动的自动划分和映射
时钟域自动分析，自适应划分粒度，多TDM比率
预览
调试模块、端口模块自动插入
多 TDM 比率 IP（最大 2048:1），跨 FPGA 信号传输
预览
约束自动生成
根据划分结果自动生成约束文件
预览
海量波形深度调试
系统集成探针（无需额外硬件），VCD 格式
预览
预览
基于混合云的远程验证及调试
基于交换架构的多 FPGA 原型验证系统全面支持公有云、私有云、混合云模式，为芯片设计企业核心智力资产安全保驾护航。
预览
基于 Web 的前端波形展示
DDR 波形快速读取，服务端存储，客户端在线展示
预览
基于网络的监管控系统
远程监测/加载，多平台集中管控，硬件自检测
预览
预览
多种外设接口验证
PCIe3.0×8、DDR4、QSFP28、HDMI2.1、DP2.1、
千兆 / 万兆以太网、USB3.0、Micro-USB、JTAG、UART、IIC、SPI 等
预览
应用场景
IP 集成验证
- 在系统环境中验证自研或第三方 IP 的集成正确性与性能。
- InfinitPro 能力：自动划分与黑盒 IP 识别、调试模块自动插入、多外设接口对接
- 典型用例：加密网表 IP 与 RTL 混合设计、NoC/DDR/PCIe 控制器集成与回归测试
高性能接口验证
- 验证 PCIe、DDR 等高速接口的带宽、延迟与协议正确性。
- InfinitPro 能力：外设接口资源池、TBA 事务级吞吐量测试、波形深度存储与事后分析
- 典型用例：PCIe 吞吐量测试、DDR 压力与稳定性测试、QSFP 高速 SerDes 验证
软硬件协同开发
- 硬件与软件团队并行开发，早期进行协同仿真与调试。
- InfinitPro 能力：云平台远程访问、多用户 / 多项目资源隔离与共享、TBA 事务级交互
- 典型用例：应用层与加速器协同调试、多线程 / 多主机与 FPGA 原型联调