基于断言的验证(ABV)技术

来源 :第十届计算机工程与工艺全国学术年会 | 被引量 : 0次 | 上传用户：happy_hoo

【摘要】

：

ABV(Assertion Based Verification:基于断言的验证)是以断言为关键要素、确保设计符合规格的验证方法.ABV对于提升验证生产力、确保设计质量、改善验证结果的可预测性带来重

【作者】

：

肖跃龙

【机构】

：

奥肯思科技有限公司北京 100045

【出处】

：

第十届计算机工程与工艺全国学术年会

【发表日期】

：

2006年期

【关键词】

：

验证过程设计质量总线监视器综合技术验证方法设计流程可预测性解决方案关键要素符合规格断言检查生产力检查库提升开发革命创新

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

ABV(Assertion Based Verification:基于断言的验证)是以断言为关键要素、确保设计符合规格的验证方法.ABV对于提升验证生产力、确保设计质量、改善验证结果的可预测性带来重大的创新以及革命性的进步.透过自动断言检查、预定义和业已开发成功的完善的设计检查库以及总线监视器技术,Mentor Graphics公司的解决方案可以很方便地将ABV融入现有设计流程中.断言综合技术也让ABV的优势在整个验证过程得到充分发挥.

其他文献

西南地区草莓灰霉病菌对嘧霉胺的抗药性及致病力分析

为了明确西南地区草莓灰霉病对嘧霉胺的抗药性及致病力状况,从贵阳、重庆、成都等14个地区的不同草莓品种上采集82株草莓灰霉病菌菌株,采用菌丝生长速率法检测其对嘧霉胺的敏

期刊

Botrytis cinerea from strawberryPyrimethanilResistancePathogenicity

尾部悬吊对大鼠比目鱼肌梭内外肌纤维乙酰胆碱酯酶活性的影响(英文)

目的研究尾部悬吊对大鼠比目鱼肌肌型和梭内外肌纤维胆碱酯酶活性的影响 ,探讨失重或模拟失重状态下肌肉萎缩和肌型转换的机制。方法选用雌性大鼠 ,以尾部悬吊法模拟失重。实

期刊

尾部悬吊梭外肌纤维比目鱼肌失重模拟尾吊琥珀酸脱氢酶胆碱酯酶活性肌梭AChE肌肉萎缩

資本主義各國工人階級保衛和平的鬥爭

从去年五一节到今年五一节,是资本主义各国工人运动继续高涨的一年。自从去年六月底美帝武装干涉朝鲜并抢占我台湾以来,美帝已经从准备侵略战争进到侵略中国和朝鲜的实际行

期刊

军费支出帝国主义国家武装干涉歇斯底里战费侵朝战争侵略战争工人运动税额统治集团

一种基于SUIF2的C程序循环特征分析工具的设计与实现

本文首先分析了程序特征分析的必要性和当前研究现状;然后介绍了SUIF2系统,并提出了一种基于SUIF2系统进行程序特征分析工具开发的新方法;接着详细分析了该工具的系统结构、

会议

目标程序循环特征分析工具系统结构实现方法中间表示可扩展性测试程序新方法原理文件输入开发接口功能

基于CHARM++的负载平衡策略分析

Charm++是一个独立于机器的消息驱动的并行仿真语言,它可以使其满足在基于分布式的网络编程环境中动态地创建和迁移任务.本文主要对在持久性原则上提出的基于评估的对象迁移

印楝无性系嫁接技术促进接穗生长

为解决印楝嫁接繁育的关键技术,本研究以3种不同的切口基径的1年生的印楝实生苗为砧木,采用3个优良无性系和3种嫁接方式劈接、切接和芽接进行嫁接,对嫁接成活率以及嫁接苗成

期刊

印楝(Azadirachta indica)嫁接技术成活率接穗生长

基于形态滤波的红外点目标检测研究和实现

针对复杂空背景下红外点目标图像信噪比低.云层杂波干扰严重的特点,提出了一种结合形态学和管道滤波的空中点目标检测方法.此方法运用形态重构开滤波器对单帧图像进行预处理,

会议

浅谈单元测试方法

随着软件产业化的发展,软件测试在软件生命周期中扮演着越来越重要的角色,而单元测试又是软件测试中的第一个环节.本文利用实例详细介绍了单元测试中测试代码编写.测试用例设

会议

单元测试软件测试软件生命周期软件产业化用例设计代码编写角色白盒

英军营出现反战标语

今年五月间,英国陆军元帅蒙哥莫利元帅到伦敦布德尔营房检阅第四十坦克联队。在他还没有列以前,营房的一切墙上都漆好了一些标语:『布德尔要求和平。禁止原子弹。不要再有战

期刊

标语布德尔莫利蒙哥标语牌英国陆军工人日报四十示威游行去了

OpenMP程序的性能数据采集与分析

本文设计实现了一个OpenMP并行程序性能分析工具(OMP-profiler),该工具基于POMP针对OpenMP指导命令对性能数据进行采集,借助PAPI来实现硬件信息的采集,并通过分析采集到的数

会议

并行程序性能数据性能分析工具信息的采集指导命令性能问题实验验证设计实现报告扩充性用户硬件模块

基于断言的验证(ABV)技术

与本文相关的学术论文