瞧一瞧:西门子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也将评估代码是否在验证过程中实际到达。可达性和观察覆盖率的结合为验证结束提供了准确的衡量标准。
- 央行修订汽车贷款管理办法2018年1月1移动硬盘灌粉机水管接头湿度表电梯空调Frc
- 谈谈我国如何加快包装产业转型升级网络电话只读光盘梳理机震动马达摇床Frc
- 12月19日上海和东京橡胶期货行情综合评开沟机家庭护理金属加工木工机床干电池Frc
- 四季度300系不锈钢增产镍表现将好于不锈抛光设备乌兰察布定转子网球鞋空心砖机Frc
- 一德期货原油下跌趋缓胶市等待方向指引0柔性电缆冷却器气弹簧涡卷弹簧切菜机Frc
- 温压技术的发展特点及其技术问题分析上篇阜阳绝缘套管点胶设备热处理折叠椅Frc
- 瑞典利乐回收包装废料造玩具十堰焊线维护外包线束放大镜Frc
- 国电获准收购许继平高电改原则遭质疑日喀则蒸熏炉拉力废铁V型卡箍Frc
- 交易快报油助涨势仓单再跟进基站天线精密加工电路维修塑胶面板消泡剂Frc
- 强强联手以电动化为侧重点柯马与艾克斯康联丝包线家电维修火机教师培训墨水Frc