产品服务
赋能芯片设计,塑造芯片未来

「 芯天成 」模型检查 EsseFPV

芯天成模型检查工具EsseFPV通过形式化技术验证的SystemVerilog断言(SVA)属性,为用户提供快速的错误检测以及预期设计行为的端到端验证。该工具可以在仿真之前实现验证,适用于早期的错误追踪,通过全面的端到端验证确保设计功能的高正确性。EsseFPV支持断言属性、约束属性和覆盖属性的验证,能够在设计中快速发现错误并提供反例。其人性化的图形用户界面对习惯图形化系统的用户非常友好,有助于调试。


产品优势

  • 快速定位设计错误

  • 支持多种验证引擎

  • 人性化的用户图形界面

  • 可定制化的属性验证服务


FPV.png

获取方案

您在设计什么类型的芯片?
设计中含的ASIC门容量为?
500万 - 2千万
2千万 - 5千万
5千万 - 1亿
1亿 - 10亿
大于10亿
您倾向于使用哪款FPGA?
赛灵思 VU440
赛灵思 KU115
赛灵思 VU19P
赛灵思 VU13P
赛灵思 VU9P
英特尔 S10-10M
英特尔 S10-2800
不太确定,需要专业建议
您需要什么样的FPGA配置?
单颗FPGA
双颗FPGA
四颗FPGA
八颗FPGA
不太确定,需要专业建议
您需要什么样的外设接口?
您需要多少数量的原型验证平台?
您是否需要以下原型验证配套工具? (可多选)
分割工具
多FPGA调试工具
协同建模工具(允许大量数据在 FPGA 与 PC 主机之间进行交互)
您什么时间内需要使用到我们产品?
0-6个月
6-12个月
大于12个月
不太确定
您是否需要其他工具资讯?(可多选)
架构设计
软件仿真
硬件仿真
数字调试
形式验证
想要更多了解,您是否需要产品选型指南?
其他
提交
输入您的电话,我们即刻给您回电
输入您的电话
验证码
您也可直接拨打电话:400 8888 427 或添加企业微信
电话咨询
微信咨询
企业微信咨询
TOP
企业微信咨询