基于VMM的FCU验证平台

来源 :贵阳学院学报(自然科学版) | 被引量 : 0次 | 上传用户:labidax
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
IEEE Std 1800-2500 System Verilog作为一种工业标准硬件设计和验证语言,具有能够把RTL设计、测试平台、断言和覆盖率全面综合在一起的优点。而基于System Verilog的VMM(verification methodology man-ual)验证方法学能够在此基础上获得更多的重用扩展性、更全面的功能覆盖率,以及更合理的层次化验证结构。本文主要提出了一种基于VMM验证方法学的验证环境,通过验证一个多媒体数字视频芯片中视频格式转换功能模块,简称FCU(Fomat Conve
其他文献
体育作为锻炼学生身体素质的主要学科,对学生的身体和心理都具有十分重要的影响。本文对如何利用信息技术提高体育教学质量进行了简单的讨论。
"华盛顿共识"的式微催生着"中国模式"的日益兴起,学界热议中的"中国模式"正处于一种能指的狂欢状态,这是一种虚假的繁荣。分析还原论的分析方法堵塞了认知"中国模式"的道路,这种方法
对军政关系的研究是军事政治学的学术功能与核心议题。同时,也为我们观察和理解当代革命军人核心价值观打开了新视域,提供了新工具。解构当代革命军人核心价值观,可以认为,"忠
结合典型事例,介绍了加筋土技术在道路和桥梁工程中的几应用,说明了加筋土技术具有推广应用的价值.
学科评估指标体系是当前评价高校学科建设较为科学的标准,它主要通过设置三级具体指标考察高校教师队伍建设、人才培养、科学研究等。教师发展是高校学科建设核心所在。高校
桂柳高速公路永福至黄冕路段处于山岭重丘、降雨量集中区、挖方边坡多,相继发生了大小不一的滑坡、崩塌等不良工程地质问题,采取弃土放坡,加固挡土墙,浆砌片石护坡等传统方法取得
翻译生态学和翻译伦理学之间既有共性也有差异性,这使得两种理论在对译者定位方面既有相同之处也有不同之处,相同之处体现在两种理论论述的都是职业译者,都认为译者受翻译环境的
为落实国家2020年"禁抗"工作部署,进一步推广无抗养殖技术,做好磐石市区域内养殖企业(户)无抗养殖技术示范推广与应用,增加无抗畜禽养殖量和产品质量,培育壮大畜牧新业态。利