基于UVM的AHB-UART模块验证

来源 :南开大学学报(自然科学版) | 被引量 : 0次 | 上传用户:haixinmei
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
对于SOC上应用十分普遍的AMBA总线而言,传统的验证方法已经远不能满足需求.使用UVM方法对AH总线和UART模块之间的通信进行了统一的功能验证.验证结果覆盖了所有的测试点,并表明该验证平台具有很好的可重用性.
其他文献
讨论信号恢复问题,对l1正则化模型,用光滑函数近似l1-范数,并用三项共轭梯度法进行求解.证明了水平集的有界性,函数梯度的Lipschitz连续性,得到了算法的全局收敛性.进行了数
时程响应是发展锚索抗滑桩抗震技术和改进抗震设计方法的基础。基于离心模型试验平台,设计完成了50g离心加速度条件下锚索抗滑桩加固滑坡体的振动台模型试验。输入了4种不同
现河油区断块油藏为纵向多层的复式油气藏,在特高含水后期剩余油认识及挖潜仍是研究和工作的重点.复杂断块油藏纵向上主要发育东营组、沙一段、沙二段、沙四段,含油层系多,油
方便面代替早餐不少人为了省事,常常以方便面代替早餐,甚至中、晚餐。岂不知,经常食用方便面替代早餐,对人体健康和发育都是很不利的。因为,维持人体正常生理代谢需要六大要
紫花苜蓿是多年生草本豆科植物,其适口性好且富含蛋白质,但土壤盐渍化会影响其生长且产量降低.本研究使用不同浓度NaCI溶液模拟盐胁迫处理13份不同品种紫花苜蓿,筛选到最佳Na
提出了基于图像密码的新型无线局域网自动密钥更新协议,协议架构合理,利用原始标准协议中的保留字段,并使用图像密码系统生成安全强度足够的PSK,并完成PSK的自动定时更新,新
请下载后查看,本文暂不支持在线获取查看简介。 Please download to view, this article does not support online access to view profile.
期刊
塔威人的人数不多,且大部份居住在东南亚地区菲律宾海域上,他们生活在海上,以船为家,长年过着水上游牧生活,形成水上一族。在很长一个时期里这一族有着原始、独立、完整而固
基于GS(Gram-Schmidt)正文算法,推导出一个正交基范数阈值,据此阈值可在GS正交化过程中判定出信号矢量空间的维数,从面实现对信号源个数的检测。在此基础上,利用所获得的正交基构造一个信号矢量空间
针对某区块250m井距五点法面积布井方式下,后续水驱阶段出现的主力油层厚度大、注入速度高、纵向吸水不均衡、产液量高、含水高、低效无效循环严重等问题,利用数值模拟方法开
会议