多语言逻辑仿真核心
Xcelium Logic Simulator面向IP和SoC验证,核心引擎支持SystemVerilog、VHDL、SystemC、e、UVM以及IEEE UPF。团队可以在同一仿真环境组织不同语言编写的设计与验证组件,减少跨工具拼接带来的配置差异,并以统一的运行、日志和结果管理方式完成从模块到系统级的验证。
并行编译与增量构建
平台使用自动并行和增量构建技术处理大型SoC。项目只改动部分设计或测试平台时,可复用未变化内容,降低重复编译与展开开销。对于代码规模大、分支频繁、每日回归次数高的团队,这一模块有助于缩短从提交代码到获得首批结果的等待时间。
多核与分布式仿真
Xcelium提供多核引擎加速长时间测试,并可通过分布式仿真应用处理多裸片系统。验证负责人可根据用例规模选择单核、多核或分区执行路径,把计算资源集中到真正耗时的回归项目。部署时应结合服务器拓扑、内存和许可证测量实际吞吐,而不是只比较单个用例。
混合信号与低功耗验证
混合信号应用把数字逻辑与模拟求解连接起来,适合验证电源、接口、传感和射频相关设计。低功耗与X传播能力用于检查电源意图、未知状态传播和复位边界。26.03还为Spectre AMS Designer加入GPU加速及模拟断言触发后的停止控制,改善复杂模拟分析和故障定位。
机器学习与功能安全应用
Xcelium Apps提供机器学习测试压缩、功能安全等面向领域的能力。机器学习模块帮助从大量验证空间中优先选择更有效的测试,功能安全模块则支持围绕故障、诊断和安全目标组织验证。不同应用可按项目需要组合,避免所有团队都采用同一套固定流程。
调试、覆盖率与回归闭环
典型流程从编译设计和测试平台开始,选择并行或增量构建后执行单机、多核或分布式回归,再结合断言、覆盖率、波形和失败信息定位问题。难以触发的失败可用于寻找相关缺陷,团队通过修复、重跑和覆盖率收敛逐步完成验证闭环。统一平台能够让编译、仿真、调试和结果分析共享上下文。
实施建议
首次部署应建立一组稳定的黄金用例,分别覆盖语言兼容、UPF、混合信号、长时间多核测试和常见失败模式。升级后比较结果一致性、编译时间、仿真吞吐和资源消耗,再逐步启用GPU、机器学习或分布式能力。自动化系统还应明确区分设计失败、断言停止和基础设施异常。