产品服务
显著缩短芯片设计验证周期

形式验证

SoC设计的复杂度与日俱增,传统验证方法已经无法让设计验证团队在有限时间内达到所需的验证覆盖率。形式验证是新一代的验证解决方法,通过数学证明的方式,对设计进行100%覆盖率的验证,确保关键模块行为完全符合规格。


为提供完整的功能验证解决方案,S2C透过形式验证方法学,提供结构化代码分析,透过静态检查对RTL 代码的语法和语义进行分析,不但确保符合编码准则和行业标准,并迅速识别出是否有隐藏的设计错误,例如:多个驱动程序,不完整的灵敏度列表,组合反馈回路,未驱动的输出以及没有凹陷的网络等。


除了静态检查之外,S2C的形式验证解决方案还包括多个应用程序(Apps),例如:形式验证覆盖率分析器(verification progress and coverage measurement)、数据路径验证(data transport verification)、连通性检查(connectivity checking)、协议合规检查(protocol compliance validation)、暂存器检查(register check)、顺序等效性检查(SEQ),X 传播验证(X-propagation analysis)等。


设计和验证工程师可以在紧凑的项目周期内使用 S2C所提供的结构化代码分析以及各种的形式验证应用程序,确认模块与SoC级别设计代码遵守行业标准,符合设计规格。

获取原型验证方案

您在设计什么类型的芯片?
设计中含的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