西门子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也将评估代码是否在验证过程中实际达到。可达性和不雅察覆盖率的结合为验证停止供给了精确的衡量标准。