穹鼎GalaxSim
数字IC验证/逻辑仿真
穹鼎GalaxSim仿真器是芯华章汇聚行业专家经验，并在国内多个知名客户打磨后，推出的一款独立自主、全新构架的高性能仿真器。创新性地使用新的软件框架，提供多平台支持，并且已在多个基于ARM平台的国产构架上测试通过。GalaxSim具有多种使用模式，能够对传统仿真模...
软件产品
共找到 5 款产品
穹鼎GalaxSim
数字IC验证/逻辑仿真
穹瀚GalaxFV
数字IC验证/逻辑仿真
芯华章穹瀚GalaxFV是一种面向HDL电路设计的形式化验证工具，能够从数学上完备地证明电路的实现方案是否实现了设计规范所描述的功能。其采用基于模型的数学求解方法，针对用户提供的规范断言和属性，面向目标HDL设计的所有可能输入进行证明，确定该设计是否与给定的规范功...
桦敏HuaEmu E1 高性能硬件仿真系统
数字IC验证/逻辑仿真
桦敏HuaEmu E1是支持超百亿门大容量的硬件仿真系统，可满足150亿门以上芯片应用系统的验证容量。产品基于自主研发，实现多项国内验证技术突破，具备大规模可扩展验证容量、自动化实现工具、全流程智能编译、高速运行性能以及强大的调试能力，从而极大助力软硬件协同开发，...
昭晓Fusion Debug
数字IC验证/逻辑仿真
昭晓Fusion Debug是一款基于创新架构的全面调试系统，集成了各种先进和复杂的调试技术，具备创新性、易用性、高性能等特点，能显著提高设计效率，并有效解决难度不断上升的设计和验证挑战。 昭晓Fusion Debug可提供快速源代码解析、波形查看、设计原理图探索...
智V验证平台 FusionVerify Platform
数字IC验证/逻辑仿真
智V验证平台（FusionVerify Platform）是芯华章推出的验证EDA工具，其初衷就是为了解决数字电路验证中碎片化的挑战，满足提高验证效率、易用性，以及点工具无法提供的额外验证功能等需要。智V验证平台（FusionVerify Platform）主要由...