近年来，随着集成电路产业技术的发展，芯片规模和复杂度不断提高，尤其是SoC芯片的兴起，我们能在一个芯片上集成整个系统。而这是使得芯片的验证工作变得越来越复杂和困难，验证工作在芯片研发中所占的比重也越来越大，据很多文献报道，今年新推出的SoC芯片的验证工作量占到了总资源的70%。

验证覆盖率简单地说是一个比例数据，理论上只有当芯片被百分百验证为正确时才能保证流片的成功，因此如果缺乏较好的验证覆盖率指标，项目后期的bug可能会带来灾难性的后果，预计将产生10倍-1000倍的损失。了解验证覆盖率对于满足IC完整性标准是至关重要的，然而将传统的基于设计代码在仿真过程中被激活的普通覆盖率测量（Activation）作为唯一的质量指标是远远不够的，不精准的测量将最终导致验证质量严重不佳。

在本次直播中，我们邀请了来自OneSpin: a Siemens Business 的技术专家，为大家介绍OneSpin的Quantify解决方案如何为芯片形式验证提供精确，从而确保芯片的完整性，实现功能正确、安全、可信且可靠的IC设计。

 

直播中，我们将详细介绍Quantify：

■ 拥有专利的观察覆盖算法

■ 如何与仿真的一键式集成

■ 如何对断言质量和验证漏洞进行即时反馈

■ 业界公认的验证sign-off分析并与覆盖率数据库的集成

 

扫描二维码，立即报名

陈维嵬

OneSpin: a Siemens Business 

中国区技术经理

维嵬与大中华区的新老客户紧密合作，在复杂的设计中评估和实施先进的形式验证解决方案。他在帮助领先的公司成功实现其验证目标方面拥有丰富的经验。他拥有诺维萨德大学的电子和计算机工程硕士学位。维嵬已在 OneSpin 工作了两年多时间，帮助公司大幅拓展了在中国地区的业务。

 

来源：Siemens EDA

 

#Design  #设计  #展览与会议  #西门子  #直播  #EDA  #OneSpin  #精确  #验证覆盖率  #指标  #芯片