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