形式验证软件-思尔芯

思尔芯的全功能形式验证软件，包括五种工具，即C-to-RTL/RTL-to-Netlist的等价性验证、组合逻辑等价性验证、模型检查，以及两种实用验证Apps，为数字芯片设计各个环节提供了高效的验证工具。其具有定制化和集成化两大特点，精准满足客户需求，大幅降低用户验证时间、提高验证完整性和准确性。该款形式验证软件可与芯神驰PegaSim软件仿真相连，对覆盖率库文件中那些不可达部分的深入验证，显著增强软件仿真过程中的代码覆盖率。

加入我们

白皮书

书籍

培训课程

获取方案

姓名*

公司*

电话*

职务*

邮箱*

所在城市

您在设计什么类型的芯片？

设计中含的ASIC门容量为？

500万 - 2千万

2千万 - 5千万

5千万 - 1亿

1亿 - 10亿

大于10亿

您倾向于使用哪款FPGA？

赛灵思 VU440

赛灵思 KU115

赛灵思 VU19P

赛灵思 VU13P

赛灵思 VU9P

AMD VP1802

AMD VP1902

英特尔 S10-10M

英特尔 S10-2800

不太确定，需要专业建议

您需要什么样的FPGA配置？

单颗FPGA

双颗FPGA

四颗FPGA

八颗FPGA

不太确定，需要专业建议

您需要什么样的外设接口？

您需要多少数量的原型验证平台？

您是否需要以下原型验证配套工具? （可多选）

分割工具

多FPGA调试工具

协同建模工具（允许大量数据在 FPGA 与 PC 主机之间进行交互）

您什么时间内需要使用到我们产品？

0-6个月

6-12个月

大于12个月

不太确定

您是否需要其他工具资讯？（可多选）

架构设计

软件仿真

硬件仿真

数字调试

形式验证

想要更多了解，您是否需要产品选型指南？

是

否

其他

提交