[导读]2014年3月4日—Mentor Graphics(NASDAQ:MENT)今天宣布,为对基于图形的测试规范标准的标准化问题进行研究,公司已提议成立新的Accellera标准委员会。为深化此项工作,Mentor Graphics公司将把其现有的基于图形的测
2014年3月4日—Mentor Graphics(NASDAQ:MENT)今天宣布,为对基于图形的测试规范标准的标准化问题进行研究,公司已提议成立新的Accellera标准委员会。为深化此项工作,Mentor Graphics公司将把其现有的基于图形的测试规范格式作为技术捐赠奉献出来,以启动标准化工作。
“Mentor Graphics公司基于图形的规范化技术,以其快速彻底的覆盖设备状态空间能力,为验证领域带来了惹人注目的新价值,”SyoSil咨询公司的 所有人兼总经理 Peter Jensen 说。“这样,我们便可以在模块级采用UVM(通用验证方法学)进行传统的覆盖率驱动验证和在系统级采用嵌入式C测试程序进行智能软件驱动验证时,采用统一的基于图形的描述。”
“采纳最先进的功能验证方法学在电子设计和验证效率的最大化方面是至关重要的。通过采用基于图形的测试技术,我们看到客户的生产率实现了10倍增加,”Mentor Graphics 副总裁兼设计验证技术部总经理 John Lenyo 说。“根据客户反馈,我们正在推进有关标准事宜的提议和推动工作,这不仅可为很多客户带来显著收益,而且还打开了技术创新的大门。”
基于图形的测试规范的诸多益处
基于图形的测试规范可一举三得。首先,它可使编写和调试测试用例的时间压缩50%或以上。对于现有的基于约束的 SystemVerilog UVM 测试来说,验证工程师可利用基于图形的规范格式来描述完全相同的测试空间,不但代码行数不到原来的一半,而且还无需对测试意图进行任何修改。这也意味着测试代码本身的错误的数量有效减少,验证工程师可将注意力从调试测试代码转移到调试设计上来。
其次,基于图形的测试规范格式支持多种设计语言和多种验证环境,可复用到设计意图和验证引擎中。无论对于用于模块级仿真的 SystemVerilog UVM 测试环境,还是对于用于系统级仿真的嵌入式C测试程序来说,均可采用相同的基于图形的测试规范。此外,它还可用于为微处理器指令集的验证生成指令,甚至还可用在 FPGA 原型设计和芯片验证等目标硬件上。
第三,借助基于图形的测试规范的抽象性,在工具实施阶段,可根据验证需求采用不同的方法来应用该测试规范。比如,在验证项目的早期阶段,可根据基于图形的测试规范对某工具下达相关指令,以系统化的方式来执行该测试规范,从而快速提升功能覆盖率。在后期,可对该工具下达相关指令,以完全随机的方式来执行该测试规范,从而为回归测试的仿真集群(simulation farm)产生浸泡测试激励。
Mentor Graphics公司对基于图形的测试规范标准工作所做贡献
对于验证来说,基于图形的规范格式并非新鲜事物。它以标准的巴科斯—诺尔范式(BNF)为基础,在IBM的倡导下,已在多家公司的自动化编译器测试中得到应用。其天然基本架构与典型的设计规范结构高度相似,需求映射简单明了。 Mentor Graphics公司捐赠了经过扩展的基于图形的规范格式,使得所有的标准环境,以及包括Verilog、VHDL、SystemVerilog、e、SystemC、C/C、汇编码等在内的各种语言均支持 VLSI 设计验证。
本站声明: 本文章由作者或相关机构授权发布,目的在于传递更多信息,并不代表本站赞同其观点,本站亦不保证或承诺内容真实性等。需要转载请联系该专栏作者,如若文章内容侵犯您的权益,请及时联系本站删除。
特朗普集团近日取消了其新推出的T1智能手机“将在美国制造”的宣传标语,此举源于外界对这款手机能否以当前定价在美国本土生产的质疑。
关键字:
特朗普
苹果
AI
美国总统特朗普在公开场合表示,他已要求苹果公司CEO蒂姆·库克停止在印度建厂,矛头直指该公司生产多元化的计划。
关键字:
特朗普
苹果
AI
4月10日消息,据媒体报道,美国总统特朗普宣布,美国对部分贸易伙伴暂停90天执行新关税政策,同时对中国的关税提高到125%,该消息公布后苹果股价飙升了15%。这次反弹使苹果市值增加了4000多亿美元,目前苹果市值接近3万...
关键字:
特朗普
AI
人工智能
特斯拉
3月25日消息,据报道,当地时间3月20日,美国总统特朗普在社交媒体平台“真实社交”上发文写道:“那些被抓到破坏特斯拉的人,将有很大可能被判入狱长达20年,这包括资助(破坏特斯拉汽车)者,我们正在寻找你。”
关键字:
特朗普
AI
人工智能
特斯拉
1月22日消息,刚刚,新任美国总统特朗普放出重磅消息,将全力支持美国AI发展。
关键字:
特朗普
AI
人工智能
特朗普先生有两件事一定会载入史册,一个是筑墙,一个是挖坑。在美墨边境筑墙的口号确保边境安全,降低因非法移民引起的犯罪率过高问题;在中美科技产业之间挖坑的口号也是安全,美国企业不得使用对美国国家安全构成威胁的电信设备,总统...
关键字:
特朗普
孤立主义
科技产业
据路透社1月17日消息显示,知情人士透露,特朗普已通知英特尔、铠侠在内的几家华为供应商,将要撤销其对华为的出货的部分许可证,同时将拒绝其他数十个向华为供货的申请。据透露,共有4家公司的8份许可被撤销。另外,相关公司收到撤...
关键字:
华为
芯片
特朗普
曾在2018年时被美国总统特朗普称作“世界第八奇迹”的富士康集团在美国威斯康星州投资建设的LCD显示屏工厂项目,如今却因为富士康将项目大幅缩水并拒绝签订新的合同而陷入了僵局。这也导致富士康无法从当地政府那里获得约40亿美...
关键字:
特朗普
富士康
今年5月,因自己发布的推文被贴上“无确凿依据”标签而与推特发生激烈争执后,美国总统特朗普签署了一项行政令,下令要求重审《通信规范法》第230条。
关键字:
谷歌
facebook
特朗普
众所周知,寄往白宫的所有邮件在到达白宫之前都会在他地进行分类和筛选。9月19日,根据美国相关执法官员的通报,本周早些时候,执法人员截获了一个寄给特朗普总统的包裹,该包裹内包含蓖麻毒蛋白。
关键字:
美国
白宫
特朗普
本月14日,TikTok向美国政府提交解决方案。据媒体披露,美国甲骨文公司将为TikTok提供云服务,此举不涉及TikTok出售,也不涉及其核心技术转让。
关键字:
特朗普
tiktok
甲骨文
14日,TikTok向美国政府提交解决方案。据媒体披露,美国甲骨文公司将为TikTok提供云服务,此举不涉及TikTok出售,也不涉及其核心技术转让。
关键字:
特朗普
甲骨文
tiktok
甲骨文公司竞购TikTok在美国业务一事得到了美国总统唐纳德· 特朗普的支持 ,这家软件制造商试图破坏竞争对手微软公司牵头的收购谈判,因此特朗普的支持而声势上涨。
特朗普周二在亚利桑那州的一次演讲中
关键字:
特朗普
甲骨文
tiktok
竞购
美国政府还在积极推动美国公司收购TikTok,微软无疑是最有可能的买家,但不是唯一感兴趣的。
据外媒报道,美国科技巨头甲骨文(Oracle)将会参与竞购TikTok,目前正在认真考虑收购TikTok在
关键字:
甲骨文
oracle
tiktok
特朗普
北京时间8月18日消息,今天美股涨跌不一,在特斯拉、英伟达等科技股推动下,纳指涨幅达到1%,再创历史新高。截至收盘,道指跌86.11点,跌幅为0.31%,报收27844.91点;标普500指数涨9.1
关键字:
特朗普
阿里
京东
Facebook COO 谢丽尔 · 桑德伯格(Sheryl Sandberg)周二表示,该公司已经做好准备,将会删除美国总统唐纳德 · 特朗普(Donald Trump)可能发布的任何违反该公司标准
关键字:
facebook
特朗普
白宫周四要求美国最高法院推翻一项下级法院的裁决,该裁决称,特朗普总统在推特上屏蔽批评人士的做法违反了宪法第一修正案。白宫的请求再次引发了一场关于总统使用社交媒体性质的辩论。美国一家联邦上诉法院去年裁定
关键字:
特朗普
twitter
8月9日消息 据报道,当地时间8月6日,特朗普政府发布了两道针对中国科技公司的行政命令,在9月20日的最后期限之后,禁止美国与这些公司进行交易。眼下的焦点大多集中在 TikTok 上,但针对微信的禁令
关键字:
影响
特朗普
禁令
能比
8月9日消息 据外媒报道,特朗普总统禁止微信的行政命令可能会对几乎整个科技行业产生深远的影响,这主要是因为该应用的母公司腾讯对拳头等公司和其他美国品牌的投资,这一禁令也会对在中国根深蒂固的苹果公司产生
关键字:
中国
特朗普
禁令
苹果
对那些习惯使用Facebook、Instagram和Twitter来与家人保持联系的美国人来说,特朗普总统近日对微信的禁令并不会给他们带来太多不便。但对那些家在中国或者在中国有业务的人来说,这一禁令将
关键字:
特朗普
特朗普微信禁令