侵权投诉

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

                  Mentor明导 ? 2021-09-13 10:17 ? 次阅读

                  近日,西门子数字化工业软件与总部位于伦敦的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也将评估代码是否在验证过程中实际到达。可达性和观察覆盖率的结合为验证结束提供了准确的衡量标准。

                  原文标题:亮点剧透 | 西门子旗下EDA产品OneSpin助力实现精确的验证覆盖率指标

                  文章出处:【微信号:Mentor明导,微信公众号:Mentor明导】欢迎添加关注!文章转载请注明出处。

                  收藏 人收藏
                  分享:

                  评论

                  相关推荐

                  2021中国蓝领数字化创新大会圆满落幕,共话行业新风向!

                  10月24日,备受瞩目的“2021中国蓝领数字化创新大会”在苏州圆满落幕。本次大会超500+观众、3....
                  的头像 话说科技 发表于 10-25 16:44 ? 149次 阅读
                  2021中国蓝领数字化创新大会圆满落幕,共话行业新风向!

                  看AR如何塑造未来世界

                  看过前段时间大火的《失控玩家》,你一定对电影中那副玩家眼镜印象深刻:带上它,主角Guy便能够看见许多....
                  的头像 欧时电子RS 发表于 10-25 15:42 ? 215次 阅读

                  华为助力西安能源领域向源网荷储全链条延伸

                  作为数字能源领域的先行者,华为深度参与了此次大会,并以“双碳”目标下光伏领域的发展为切入,充分展示了....
                  的头像 华为智能光伏 发表于 10-25 12:00 ? 306次 阅读

                  拥抱异构集成的新机遇,芯和半导体2021用户大会成功召开

                  芯和半导体是上海重点布局的EDA企业,在过去一年中,企业的高速发展值得赞许,并鼓励芯和以专精特新为方....
                  发表于 10-25 11:14 ? 127次 阅读
                  拥抱异构集成的新机遇,芯和半导体2021用户大会成功召开

                  如何助力商业银行对公业务的数智化转型

                  对公业务作为商业银行的主要资产、营业收入和净利润来源,对银行的意义不言而喻。伴随着金融科技的进一步迭....
                  的头像 IBM中国 发表于 10-25 10:07 ? 202次 阅读

                  博鳌亚洲论坛“全球经济发展与安全论坛”首届大会在长沙召开

                  最近一段时间,疫情又出现了反复。针对十一旅游造成的防疫压力,不少权威媒体提出需要加强疫情防控的精细化....
                  的头像 脑极体 发表于 10-25 09:38 ? 81次 阅读

                  芯和半导体参加2021 EPEPS大会并发表技术演讲

                  活动简介 芯和半导体于2021年10月17-20日参加2021 EPEPS大会并发表技术演讲。EPE....
                  的头像 Xpeedic 发表于 10-25 09:25 ? 128次 阅读

                  华为打造智能用电的智能光储解决方案

                  作为数字能源领域的先行者,华为深度参与了此次大会,并以“双碳”目标下光伏领域的发展为切入,充分展示了....
                  的头像 华为数字能源 发表于 10-23 17:48 ? 726次 阅读

                  瑞格科技:数字化转型,PLM势在必行

                  瑞格科技——配套世界500强的汽车零部件供应商 浙江瑞格智能科技股份有限公司(以下简称“瑞格科技”)....
                  发表于 10-22 17:55 ? 30次 阅读
                  瑞格科技:数字化转型,PLM势在必行

                  2021华为开发者大会:手语Sign pal Kit 开放服务 助力沟通无障碍

                  2021华为开发者大会亮相手语Sign pal Kit 开放服务,手语准确率领先行业,助力沟通无障碍....
                  的头像 lhl545545 发表于 10-22 16:30 ? 346次 阅读
                  2021华为开发者大会:手语Sign pal Kit 开放服务 助力沟通无障碍

                  大势所趋,悠易互通CDP到底能为立白带来什么?

                  引言 数字化浪潮中,企业营销数字化已经成为“增长”的近义词,客户数据平台(CDP)已成为企业数字化转....
                  发表于 10-22 15:44 ? 48次 阅读
                  大势所趋,悠易互通CDP到底能为立白带来什么?

                  实现房地产高质量发展,雄安地产大会胜利召开!

                  十八大以来,党中央高度重视发展数字经济,推动建设数字中国、智慧社会,推进数字产业化和产业数字化,打造....
                  发表于 10-22 14:47 ? 18次 阅读
                  实现房地产高质量发展,雄安地产大会胜利召开!

                  构建可持续发展的IPv6产业生态2021IPv6峰会广州开幕

                  2021年10月21日,在广州市南沙经济技术开发区管理委员会指导下,由全球IPv6论坛(IPv6?F....
                  的头像 话说科技 发表于 10-22 11:47 ? 101次 阅读

                  腾讯云有哪些杀手锏产品助力企业数字化转型

                  电子发烧友网报道(文/章鹰)“我们经历了PC互联网、移动互联网时代,现在到了万物互联的时代,大家感受....
                  的头像 电子发烧友网 发表于 10-22 10:56 ? 546次 阅读

                  嘉为蓝鲸成功举办智慧生长,研运未来暨2021研运治理实践大会

                  10月20日,嘉为科技携手腾讯蓝鲸智云联合主办的智慧生长·研运未来暨2021年研运治理实践大会于北京....
                  的头像 话说科技 发表于 10-22 09:22 ? 107次 阅读

                  生态共建,宜宾银行来访网筑集团

                  10月19日,宜宾银行一行来访网筑集团,网筑集团创始人、董事长宓建栋携一众高管及相关部门人员进行接待....
                  发表于 10-21 17:43 ? 19次 阅读
                  生态共建,宜宾银行来访网筑集团

                  华为全联接大会2020在上海开幕

                  华为2020全联接大会在上海举行,华为全联接大会将深耕数字化、能源数字化与能源技术的创新融合,使能源....
                  的头像 lhl545545 发表于 10-21 16:56 ? 370次 阅读

                  芯启源:国产厂商在DPU和高端EDA工具的突围

                  电子发烧友网报道(文/黄晶晶)芯启源的产品及解决方案围绕5G、云数据中心、云计算等网络通信相关领域,....
                  的头像 芯链 发表于 10-21 14:47 ? 569次 阅读
                  芯启源:国产厂商在DPU和高端EDA工具的突围

                  如何用“立”起来的数据做好项目

                  备受关注的中国地理信息产业大会刚拉下序幕,而明天,令人期待的中国测绘地理信息技术装备博览会即将开启。....
                  的头像 中海达讯 发表于 10-20 16:48 ? 293次 阅读

                  勤哲Excel服务器做数字化资产管理系统

                  以信息化带动工业化,实现企业管理现代化的过程,如今已被越来越多的企业管理者认可和接受,企业信息化是将....
                  的头像 话说科技 发表于 10-20 14:19 ? 110次 阅读
                  勤哲Excel服务器做数字化资产管理系统

                  中国天眼携手浪潮存储构建超大规模科研数据基础设施平台

                  IDC公布2021年未来企业大奖获奖名单,国家天文台携手浪潮存储建设的“中国科学院国家天文台FAST....
                  的头像 浪潮存储 发表于 10-20 11:50 ? 386次 阅读

                  壹沓科技出席IDC数字化转型年度盛典引领赛道实现快速成长

                  2021年10月14日-15日,此次以“数字焕颜,科技有型”为主题的“2021第六届IDC中国数字化....
                  的头像 科技见闻网 发表于 10-20 09:06 ? 443次 阅读
                  壹沓科技出席IDC数字化转型年度盛典引领赛道实现快速成长

                  神州云动CRM :孙满弟 “数赢未来”数字化培训班明日开课

                  数字浪潮席卷而来,数字社会、数字经济、数字技术和企业数字化转型成为当下热点。数字中国建设成为国家战略....
                  发表于 10-19 12:38 ? 25次 阅读
                  神州云动CRM :孙满弟 “数赢未来”数字化培训班明日开课

                  忽米网荣获维科杯·OFweek2021中国工业互联网年度优秀解决方案奖

                  2021年9月28日,由中国高科技行业门户OFweek维科网主办的“2021中国智能制造数字化转型峰....
                  发表于 10-19 12:36 ? 3712次 阅读
                  忽米网荣获维科杯·OFweek2021中国工业互联网年度优秀解决方案奖

                  西门子宣布推出 mPower电源完整性软件

                  西门子公司近日正式推出了关于mPower 电源完整性软件,西门子mPower 可以通过缩短电源完整性....
                  的头像 lhl545545 发表于 10-19 10:51 ? 326次 阅读

                  2021CITC网易创新创业大赛上海分赛点圆满收官

                  2021年10月18日下午,2021CITC网易创新创业大赛上海分赛点决赛在东方美谷·爱企谷数字经济....
                  的头像 话说科技 发表于 10-19 10:09 ? 197次 阅读
                  2021CITC网易创新创业大赛上海分赛点圆满收官

                  喜讯!思普达两款IC行业软件上榜《2021行业信息化百强》

                  2021年9月29日,由赛迪网、《数字经济》杂志联合主办的2021(第四届)行业信息化技术创新发展峰....
                  的头像 话说科技 发表于 10-19 09:26 ? 261次 阅读
                  喜讯!思普达两款IC行业软件上榜《2021行业信息化百强》

                  企业微信:做制造企业的“掌上连接器”,加快“制造革命”

                  历时五年,走访过数千家工厂,深入研、产、供、销、服各个重点环节的数字化,腾讯企业微信,进入智造深水区....
                  发表于 10-18 16:24 ? 36次 阅读
                  企业微信:做制造企业的“掌上连接器”,加快“制造革命”

                  IDC中国数字化转型年度盛典在上海盛大举办

                  北京,2021年10月15日——?2016年至今,IDC中国数字化转型大奖已走过六个年头。IDC自2....
                  的头像 科技见闻网 发表于 10-18 15:41 ? 194次 阅读
                  IDC中国数字化转型年度盛典在上海盛大举办

                  我的文章1

                  我们在前创立 ElecFans 的时候,愿景是做一个高质量的中文技术问答社区
                  的头像 我的文章 发表于 10-18 13:52 ? 836次 阅读
                  我的文章1

                  摩尔线程携手数科网维聚焦OFD创新 助推中国数字办公进程

                  摩尔线程与数科网维携手开展技术合作,基于国产GPU强大的加速性能,共同打造信息安全产品综合解决方案以....
                  的头像 互联网科技 发表于 10-18 12:48 ? 154次 阅读

                  保伦电子itc设备高效运行助力智慧城市数字化转型升级!

                  现实世界可视化,搭建数字空间 随着5G、大数据、物联网、人工智能等科学技术不断发展,改变了城市单一的....
                  的头像 话说科技 发表于 10-18 11:22 ? 443次 阅读
                  保伦电子itc设备高效运行助力智慧城市数字化转型升级!

                  华为创新性地推出“5G新通话”解决方案

                  在北京国家会议中心举行的2021年中国国际信息通信展览会上,由中国通信企业协会发起的“ICT中国(2....
                  的头像 华为云核心网 发表于 10-15 17:27 ? 520次 阅读

                  圣·凡尔赛×网筑:深化SaaS合作,释放数字化发展新动能

                  近日,圣·凡尔赛陶瓷与网筑集团继续深化SaaS服务合作,释放数字化发展新动能。这也是品牌厂商再一次对....
                  的头像 科讯视点 发表于 10-15 17:20 ? 195次 阅读
                  圣·凡尔赛×网筑:深化SaaS合作,释放数字化发展新动能

                  电子行业B2B数字化升级, 腾采通先行

                  以往,在数以亿计的电子元器件中快速找到想要的型号,如同大海捞针一般。直到一款B2B交易型SaaS(S....
                  发表于 10-15 15:49 ? 1345次 阅读
                  电子行业B2B数字化升级, 腾采通先行

                  华为打造智能化码头水平运输系统 推动智能网联产业

                  2021年10月9日-12日,中国(沈阳)智能网联汽车国际大会在沈阳市大东区举行。本次会议包含“一会....
                  的头像 华为数字中国 发表于 10-15 14:49 ? 871次 阅读

                  华为模块化UPS产品推动各行各业数字化升级

                  近日,第三方权威咨询机构Frost & Sullivan发布《全球模块化UPS市场报告》,对全球模块....
                  的头像 华为数字能源 发表于 10-14 15:41 ? 349次 阅读

                  第十九届中国通信集成电路技术应用研讨会 暨青岛微电子产业发展大会成功召开

                   作为集成电路行业规格最高的技术论坛之一,10月15日的技术应用论坛也拥有众多看点。
                  发表于 10-14 14:13 ? 1154次 阅读
                  第十九届中国通信集成电路技术应用研讨会 暨青岛微电子产业发展大会成功召开

                  橙色云受邀出席2021世界工业设计大会,发起互联网设计新变革

                  2021年10月22-24日,由工业和信息化部、山东省人民政府主办的“2021年世界工业设计大会(W....
                  的头像 话说科技 发表于 10-14 13:36 ? 3247次 阅读
                  橙色云受邀出席2021世界工业设计大会,发起互联网设计新变革

                  大数据技术赋能,亿达信息助力企业数字化转型提速

                  当前,时代飞速发展,企业的业务模式和数据体系日益复杂,对于传统企业而言,数字化转型已经不再是一道选择....
                  发表于 10-14 10:46 ? 56次 阅读

                  神州云动CRM与中国电子系统合作 ,凝聚力量 | 重磅发布

                  中国电子系统技术有限公司(CESTC,简称中国系统)创立于1975年,是中国电子信息产业集团有限公司....
                  发表于 10-14 10:16 ? 23次 阅读
                  神州云动CRM与中国电子系统合作 ,凝聚力量 | 重磅发布

                  数字胃肠机是什么,有哪些特点

                  胃肠检查的方法有多种,如胃镜、肠镜、食管24小时PH值检测、食管压力检测、数字胃肠机检查、腹部B超、....
                  发表于 10-13 09:35 ? 68次 阅读

                  近十年我国制造业增加值的推动作用

                  在9月13日国新办召开的新闻发布会上,工业和信息化部相关负责人就近十年来我国在制造业方面取得的成就做....
                  发表于 10-13 09:33 ? 35次 阅读

                  土壤微量元素检测仪的功能特点介绍

                  土壤微量元素检测仪的功能特点介绍【霍尔德仪器HED-TYD】土壤微量元素检测仪由霍尔德土壤养分检测仪....
                  发表于 10-13 09:17 ? 28次 阅读

                  集成电路高速发展,中国新兴EDA如何乘风破浪?

                  10月12日,合见工软在上海浦东举行验证仿真器新品发布暨研讨会,正式推出国内第一款商用级自主仿真器U....
                  的头像 Carol Li 发表于 10-12 18:53 ? 1231次 阅读
                  集成电路高速发展,中国新兴EDA如何乘风破浪?

                  简述产品装配技术的发展、关键技术和未来趋势

                  装配是产品研制过程中的关键环节,将零件按规定技术要求组装起来,并经过调试、检验使之成为合格产品。 2....
                  的头像 欧时电子RS 发表于 10-12 17:32 ? 320次 阅读

                  电子系统企业要如何转型才能应对挑战

                  当下,大街小巷电子产品琳琅满目,电脑、智能手机等早已进入千家万户,电子行业正在飞速发展,而数字化时代....
                  的头像 Mentor PCB及IC封装设计 发表于 10-12 17:25 ? 324次 阅读

                  破局EDA数字仿真器 合见工软演绎速度与激情

                  仅用时7个月就推出国内第一款商用数字仿真器,上海合见工业软件集团有限公司(以下简称合见工软)向世界展....
                  发表于 10-12 10:21 ? 1367次 阅读

                  华为加速IPv6+创新技术在各行业的应用实践

                  互联网的发展正处于产业和技术升级的关键节点。随着行业数字化进程的不断加速,数字技术与传统产业、数字经....
                  的头像 华为数据通信 发表于 10-12 09:14 ? 890次 阅读

                  西门子1200PLC与V90伺服驱动器TO控制模式怎么设置?

                  西门子1200PLC与V90伺服驱动器TO控制模式怎么设置?...
                  发表于 10-12 07:54 ? 0次 阅读

                  西门子伺服驱动的STO功能是什么?

                  西门子伺服驱动的STO功能是什么?
                  发表于 10-08 09:18 ? 0次 阅读

                  超大规模集成电路(VLSI)设计流程2021版标准中的IP设计规范

                  在现代半导体行业中,基于 IP(知识产权)的 VLSI 设计方法是一种发展趋势,这对于增强VLSI 芯片的生产能力显得非常重...
                  发表于 10-07 21:03 ? 404次 阅读
                  超大规模集成电路(VLSI)设计流程2021版标准中的IP设计规范

                  西门子1200 SCL语言编写

                  西门子1200正序启动SCL语言该怎样去编写? 西门子1200逆序停止SCL语言该怎样去编写? ...
                  发表于 09-29 08:47 ? 0次 阅读

                  西门子S7-1200控制伺服/步进电机方法是什么?怎么接线的?

                  西门子S7-1200控制伺服/步进电机方法是什么?怎么接线的?...
                  发表于 09-29 06:03 ? 0次 阅读

                  ZN-2RXY模块式柔性自动环形生产线实验系统有哪些功能

                  ZN-2RXY模块式柔性自动环形生产线实验系统是由哪些部分组成的? ZN-2RXY模块式柔性自动环形生产线实验系统有哪些功能...
                  发表于 09-27 08:56 ? 0次 阅读

                  数字化可视化的Web组态软件有哪些

                  数字化可视化的Web组态软件有哪些?都有何优缺点?...
                  发表于 09-26 08:19 ? 0次 阅读

                  单片机微机EDA开发实验箱QY-JXSY39由哪些配置组成?特点是什么?

                  单片机微机EDA开发实验箱QY-JXSY39的特点是什么? 单片机微机EDA开发实验箱QY-JXSY39由哪些配置组成? ...
                  发表于 09-23 08:47 ? 0次 阅读

                  西门子PLC300的以太网模块怎么样?

                  西门子PLC300的以太网模块怎么样?
                  发表于 09-18 06:07 ? 0次 阅读

                  PCB设计技巧问与答

                  PCB设计技巧问与答 Q: 请问就你个人观点而言:针对模拟电路(微波、高频、低频)、数字电路(微波、高频、低频)、模拟和数字...
                  发表于 09-17 06:19 ? 0次 阅读
                  欧美美女的白虎