基于UVM实现随机测试的先进方法

来源 :计算机光盘软件与应用 | 被引量 : 0次 | 上传用户:chenming000
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随机设计越来越复杂,受约束的随机化测试方法已成为验证的发展趋势。本文以数据流交叉模块的验证为例,介绍如何基于UVM验证方法学构建受约束的随机化测试平台,其主要内容包括:UVM验证平台的建立、受约束的随机的实现、功能覆盖率的实现、自动检查结构等方面。
其他文献
摘要:本文的研究对象是高校精品课程系统平台,我们拟利用B/S模式来完成这个平台的开发,此平台完成后,教师可利用网络自主完成精品课程网站的制作。这个平台拥有一系列精美的精品课程网站模板,教师在模板上输入本门课程的详细的课程大纲、课程课件、学习指南等内容就可生成有自己特色的精品课程网站。  关键词:B/S模式;精品课程;平台  中图分类号:G434 文献标识码:A 文章编号:1007-9599 (20
实物图或电路图的连接是中考必考点,也是错误率较高的一类题型,怎样才能使学生快速掌握电学连图技巧,笔者根据教学经验总结出电学连图的若干特殊技巧,现展示如下.一、分支、
CMACast是中国气象局卫星数据广播系统,是为了向全国所有气象部门广播各类型气象资料。该系统总体由卫星转发器、广播主站及小站接收系统组成,本文重点从小站接收系统、省级小
本文通过探讨计算机基础教学与全国计算机等级考试两者之间的关系,提出要正确合理地开展全国计算机等级考试,使得其能为计算机基础教学服务。
主机监控系统是针对于防止内部攻击的一套安全系统,综合利用密码、访问控制和审计跟踪等技术手段,对数据信息的存储、传播和处理过程实施安全保护,可提高系统内部的安全性。
题目 有两只电阻,R_1标有"10Ω,1 A",R_2标有"5Ω,1.5 A".(1)若将它们串联起来接入电路中,电路两端允许加的最大电压是多少?(2)若将它们并联起来接入电路中,干路上允许通过的最大电流
兴趣是最好的老师.对于初中学生而言,由于刚接触化学,对于化学实验现象比较关注,容易引发她们的兴罂.但随着化学用语的学习会让他们很快失去对化学的兴趣.本文在总结教学经验的基础
求解二次函数的解析式常用待定系数法,即根据所给的已知条件,设出相应的解析式,并将已知条件代入所设的解析式中,求出未知系数,最后写出解析式.下面举例加以说明,供参考.
基础教育的任务不仅仅是传授知识,最重要的是让学生具有创新精神、实践能力、合作交流能力、自主学习能力.所以,改变学生的学习方式,成为我国基础教育课程改革的重要目标之一.
摘要:随着计算机技术的飞速发展、更新换代,电子技术、通讯技术、信息处理技术的高速发展,计算机网络技术给人民群众的生活、生产带来很多实惠、方便、速度和效率,然而利用高技术非法黑客攻击事件屡屡发生,并通过截获、窃取、破译以获得对方重要的机密信息,严重地干扰了人民群众的生活、生产,给网络技术和计算机系统带来了巨大的潜在安全威胁,致使国家和人民群众利益遭受重大损害的。因此,防范计算机病毒已成为困扰计算机系