西门子EDA产品OneSpin助力实现精确的验证覆盖率指标

近日，西门子数字化工业软件与总部位于伦敦的Azini Capital签订了收购OneSpin Solution的协议， OneSpin Solutions 是一家领先的形式验证软件供应商，致力于帮助用户确保集成电路(IC)的完整性，实现功能正确、安全、可信且可靠的IC设计。随着OneSpin solution的加入，为西门子带来功能强大的IC完整性验证解决方案和卓越的技术知识，以及广泛的自动化形式验证应用组合。

为了更进一步服务客户，助力客户提高验证效率，从而充满信心地应对快速变化的应用领域。2021年9月24日，西门子旗下EDA产品OneSpin与客户相会云端，带来独有的Quantify验证解决方案。

根据相关数据研究表明，缺乏较好的验证覆盖率指标，项目后期的bug会带来灾难性的后果，预计将产生10倍-1000倍的损失。了解验证覆盖率对于满足IC完整性标准是至关重要的，然而将传统的基于设计代码在仿真过程中被激活的普通覆盖率测量（Activation)作为唯一的质量指标是远远不够的，不精准的测量将最终导致验证质量严重不佳。

OneSpin的Quantify解决方案为形式验证提供了精确、准确的验证覆盖率测量，是市场上独树一帜的高精确度、卓越性能解决方案。一般来说，Quantify提供：

空前的覆盖精度，拥有专利的观察覆盖算法

与仿真的一键式集成，用于可达性分析和测试向量的生成

指导测试开发，对断言质量和验证漏洞进行即时反馈

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

Quantify解决方案采用“基于变异的覆盖分析方法”，可以评估一组断言被设计代码中不正确行为触发的有效性，同时还可以分析仿真和形式验证流程中设计结构的可及性，检查代码是否已经被激发或确定未被激发的原因，有效提升验证工程师的工作效率。

并且Quantify解决方案，采用简化的使用模式，无需改变代码，就可快速评估验证进度，并指导测试改进指令，自动检测无法到达和冗余的代码，增强了分析效果。与此同时，Quantify还可有效集成如西门子EDA的验证仿真工具，不受验证工具的影响与限制，是市场上独有的解决方案。

Quantify也用于测量正式和基于仿真的验证环境的可达覆盖率，在这种模式下，Quantify得以测试设计代码中可能无法到达的领域, 通常也是问题所在区域。例如：与设计阶段输入断开的死代码或冗余代码，Quantify将评估过度约束的测试环境，指示可能未测试的代码区域。即使代码得以到达，Quantify也将评估代码是否在验证过程中实际到达。可达性和观察覆盖率的结合为验证结束提供了准确的衡量标准。