联系电话:
400-086-2020
首页
产品服务
解决方案
客户案例
热门资源
关于我们
架构设计软件提供了一个建模，分析，仿真和软硬件协作的平台，含 150 +通用技术模块和十一类模块库，帮助快速完成架构设计，实现模型复用率最大化。
采用了创新的架构算法，实现了高性能的仿真和约束求解器引擎，适合设计与验证工程师从IP、子系统及全系统等不同场景的验证需求，进而满足当今复杂SoC的验证需求。
超大容量搭配诸多创新软件让用户实现MHz级仿真加速、自动快速编译流程、强大调试能力、多种仿真验证模式，丰富的VIP库。
成熟的原型验证解决方案，稳定的硬件平台、先进的配套软件工具以及丰富的子卡接口，助力IC企业加快设计和验证复杂芯片，抢占市场先机。
全功能形式验证工具平台，平台包括五种工具，即C-to-RTL/RTL-to-Netlist的等价性验证、组合逻辑等价性验证、模型检查，以及两种实用验证Apps，为数字芯片设计各个环节提供了高效的验证工具
全面且高效的分析与调试平台，高效的源代码追踪和关键的调试功能充分满足主流验证调试场景的需求
将算力资源的云端虚拟化，可实现算力管理、集群管理、多用户管理、虚机/容器资源管理等一系列功能，极大地满足了芯片设计验证流程中的弹性算力需求。
-889.png)
