切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
基于事务的功能验证方法及其在设计验证中的运用
基于事务的功能验证方法及其在设计验证中的运用
来源 :计算机与现代化 | 被引量 : 0次 | 上传用户:lilunallen
【摘 要】
:
介绍了基于事务的验证方法,把验证工作提高到一个更高的抽象层次,减少了验证中对信号级时序细节的考虑,更注重于事务级行为的验证,并可提高验证代码编写的重用性,有利于提高
【作 者】
:
江龙
马琪
【机 构】
:
杭州电子科技大学微电子CAD研究所
【出 处】
:
计算机与现代化
【发表日期】
:
2008年10期
【关键词】
:
功能验证
事务
测试平台
functional verification transaction testbench
【基金项目】
:
浙江省重大科技攻关资助项目(2004C17002)
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
介绍了基于事务的验证方法,把验证工作提高到一个更高的抽象层次,减少了验证中对信号级时序细节的考虑,更注重于事务级行为的验证,并可提高验证代码编写的重用性,有利于提高验证的工作效率。本文主要介绍这种功能验证方法在UART设计验证中的运用及其测试平台的建立。
其他文献
小净距隧道中夹岩柱加固技术在施工中的应用
通过对中家湾隧道的工程概况、地质条件、施工难点的分析,有针对性的提出了采用混凝土置换软弱的中夹岩柱的施工方法,有效地解决了小净距隧道洞口浅埋段难以安全施工的难题,同时
期刊
小净距
中夹岩柱
加固
small spacing
middle rock pillar
consolidation
如何提高小学语文阅读教学实效
新课改下的小学语文教学不应该仅仅关注具体的教学内容,简单的三维目标,而是应该从教学本质出发,理解课文知识、学习语文技能,让学生积极参与课堂教学过程,实践语文,提升语文
期刊
小学语文
课堂教学
目标
过程
实践
试论新时期的初中数学教学
在新课程改革的指引下,初中数学教师要从根本上转变观念,摆脱传统教学模式的束缚,在培养学生自主学习的能力上动脑筋、下功夫,让学生热爱数学、探索数学,进而主动地去钻研、
期刊
数学教学
教材
教法
自媒体新闻传播对传统新闻传播的冲击与影响分析
当今时代,随着信息传播方式的逐步灵活化,受众者与传播者之间的信息互动越来越频繁。自媒体传播方式的普遍化使新闻传播更贴近人们的生活,也使得传统新闻传播内容和理念发生了前
期刊
自媒体
新闻传播
传统新闻
冲击
影响
早期脑脊液腰池持续引流治疗蛛网膜下腔出血的疗效观察
目的比较脑脊液腰池持续引流与置换疗法对蛛网膜下腔出血的疗效。方法随机抽取蛛网膜下腔出血患者分成脑脊液腰池持续引流组20例与置换疗法组18例,观察两组治疗SAH的有效率。
期刊
脑脊液
腰池
持续引流
置换
SAH
我国燃气爆炸研究现状及热点前沿可视化分析
以Web of Science数据库及中国知网CNKI数据库为基础,对燃气爆炸相关研究成果进行文献检索,并在此基础上利用CiteSpace软件绘制科学知识图谱.从国际影响力、科研机构、研究成
期刊
燃气爆炸
热点前沿
知识图谱
可视化分析
gas explosion hotspot and front knowledge mapping visualiza
嵌入式GUI系统Microwindows的研究与分析
描述了嵌入式图形用户界面Microwindows的分层体系结构及其运行模式,对顶层应用接口层的API实现,事件管理和窗口管理进行了深入分析,最后简述Microwindows可在Linux仿真环境下应
期刊
嵌入式GUI
MICROWINDOWS
FLNX
embedded GUI Microwindows FLNX
SCA构建高校迎新系统的应用研究
介绍了SOA与SCA的基本概念。针对目前高校迎新系统所遇到的困难,提出了基于SCA的高校迎新系统的总体架构以及主要模块的设计与实现。
期刊
服务组件架构
SOA
迎新系统
组件
service component architecture SOA enroll system component
失血性休克并瞳孔散大抢救成功五例
失血性休克是创伤患者经常发生的综合征,一旦瞳孔散大,抢救成功者不多见,我院于2004年1月~2005年1月抢救成功5例失血性休克并瞳孔散大患者,现报道如下。
期刊
休克
瞳孔散大
抢救
消防应急灯具性能失效分析及改进
从消防应急灯具实际工程使用领域抽检及检验情况反映出的产品质量现状分析,从大量的检验数据中总结该类产品性能不达标项,找出其中四个不合格比重较大的基本性能项,并分析产
期刊
消防
应急灯具
产品检验
fire fighting fire emergency luminaires product in-spection
与本文相关的学术论文