穹鼎GalaxSim和AveCEC有什么区别

穹鼎GalaxSim仿真器是芯华章汇聚行业专家经验，并在国内多个知名客户打磨后，推出的一款独立自主、全新构架的高性能仿真器。创新性地使用新的软件框架，提供多平台支持，并且已在多个基于ARM平台的国产构架上测试通过。GalaxSim具有多种使用模式，能够对传统仿真模式进行1到2个数量级的加速，并可兼容各类验证工具进行多种联合仿真。结合芯华章的穹景GalaxPSS智能场景验证系统的通用调试器和通用覆盖率数据库，穹鼎仿真器能够高效地配合其他验证工具，提供统一的数据接口。目前的版本工具支持IEEE1800 SystemVerilog语法，以及IEEE1364 Verilog 语法，和IEEE1800.2 UVM方法学，穹鼎GalaxSim适合各个层次的验证工作，从IP到SoC再到Chiplet验证都有很好的适用场景。

AveCEC是一款EDA电子设计自动化系统。AveCEC支持设计全流程，能独立于任何工具实现，能处理大型设计。超过半数的设计需要 re-spin的主要原因是功能错误；AveCEC采用数学方法， 穷尽所有情况，不需要用测试向量，确保设计实现和黄金设计一致。