二维加速引擎逻辑的EDA验证
发布时间：2022-12-06 01:51
监控芯片中的“二维加速引擎”（TDE:two dimension engine）逻辑主要实现抗闪烁、缩放和旋转的功能，根据不同的应用场景，作一些功能性验证，并且还有功能切换的功能测试。 VMM验证方法学能够给验证提供一些“基类”和一套比较固定有效的验证架构，这样就有助于提高验证效率并减少验证时间，同时VMM定义了一些验证的标准，从而能最大化复用验证环境与验证组件。System C语言是一种可靠的高级编程语言，一种可以与开发流程的步骤相融合的语言。基于以上两点，在搭建验证环境时才能更高效简单，准确实用。 本论文主要介绍了验证的一些概念以及验证的重要性和独立性，然后讨论了System C语言和VMM验证方法学以及基于它们搭建的自动化验证平台，还简要介绍了“二维加速引擎”逻辑的基本原理和逻辑架构等，然后对“二维加速引擎”逻辑进行了EDA（electronic design automation）验证。最终实现了一个代码行覆盖率达到92%并且表达式覆盖率达到99%的EDA验证平台，而且激励产生机制是以直接测试为辅，随机测试为主的。在这整个验证的过程当中解决了测试点分解、测试用例...
【文章页数】：57 页
【学位级别】：硕士
【文章目录】：
摘要
Abstract
第一章 绪论
1.1 什么是验证
1.2 课题来源
1.3 研究此课题的目的和意义
1.4 本论文的任务和安排
1.5 本章小结
第二章 验证的重要性及验证平台
2.1 验证技术概述
2.1.1 动态验证技术
2.1.2 静态验证技术
2.1.3 混合功能验证技术
2.1.4 形式验证技术
2.2 验证的重要性和独立性
2.2.1 验证的重要性
2.2.2 验证的独立性
2.3 基于 VMM 方法学的验证平台
2.3.1 Testbench 的概念
2.3.2 自动化验证平台的搭建
2.3.3 VMM 验证方法学概述
2.4 SYSTEM C 语言简介
2.4.1 System C 简介
2.4.2 System C 基本库介绍
2.5 验证工具介绍
2.6 本章小结
第三章 “二维加速引擎”逻辑的介绍
3.1 “二维加速引擎”逻辑的基本原理和应用场景
3.1.1 “二维加速引擎”逻辑的应用场景
3.1.2 “二维加速引擎”逻辑的工作模式
3.1.3 “二维加速引擎”逻辑的逻辑架构
3.2 测试点分解
3.2.1 测试点的来源
3.2.2 测试点的分类
3.2.3 测试点的分解
3.2.4 测试用例
3.3 本章小结
第四章 “二维加速引擎”具体实现的逻辑验证平台
4.1 “二维加速引擎”逻辑架构设计与验证平台
4.2 SCHEDULER 的设计
4.2.1 进程简介
4.2.2 reg_init 进程
4.2.3 int_proc 进程
4.2.4 node_cfg 进程
4.2.5 link_cfg 进程
4.3 测试用例（TESTCASE）
4.4 顶层（HARNESS）
4.5 工作目录的层次
4.6 代码覆盖率
4.6.1 代码覆盖率简介
4.6.2 代码覆盖率仿真结果
4.7 本章小结
第五章 总结
5.1 论文总结
5.2 下一步工作展望
致谢
参考文献
【参考文献】：
期刊论文
[1]基于SystemVerilog的SoC功能验证方法研究[J]. 程刚,蔡敏. 科学技术与工程. 2009(22)
[2]System Verilog中的随机化激励[J]. 杨鑫,徐伟俊,陈先勇,夏宇闻. 中国集成电路. 2007(10)
[3]成功流片的可靠途径[J]. Louie Leung. 世界电子元器件. 2004(06)
硕士论文
[1]基于SVA的NFC验证方法研究[D]. 刘旭恒.安徽大学 2011
[2]基于VMM的图像处理子系统验证平台的研究与设计[D]. 李渊清.天津大学 2010
[3]基于SystemC的时态逻辑属性验证方法研究[D]. 王胜.北京化工大学 2009
[4]对“缓存管理”逻辑进行EDA验证[D]. 马斌.西安电子科技大学 2009
[5]基于覆盖率验证方法的IP核测试平台设计[D]. 黄颖然.西安电子科技大学 2009
[6]CIOQ交换网输入缓存的验证环境实现[D]. 崔佳山.西安电子科技大学 2009
[7]基于SKYEYE和GEMINI创建软硬件协同验证开发环境[D]. 周强.上海交通大学 2009
[8]Cardbus-AHB总线桥IP核的验证方法研究和实现[D]. 夏莲.电子科技大学 2007
[9]覆盖率导向的验证方法的研究与实现[D]. 徐盛.同济大学 2007
[10]百万门级专用集成电路的FPGA验证[D]. 黄丽.西安电子科技大学 2007
本文编号：3710808
【文章页数】：57 页
【学位级别】：硕士
【文章目录】：
摘要
Abstract
第一章 绪论
1.1 什么是验证
1.2 课题来源
1.3 研究此课题的目的和意义
1.4 本论文的任务和安排
1.5 本章小结
第二章 验证的重要性及验证平台
2.1 验证技术概述
2.1.1 动态验证技术
2.1.2 静态验证技术
2.1.3 混合功能验证技术
2.1.4 形式验证技术
2.2 验证的重要性和独立性
2.2.1 验证的重要性
2.2.2 验证的独立性
2.3 基于 VMM 方法学的验证平台
2.3.1 Testbench 的概念
2.3.2 自动化验证平台的搭建
2.3.3 VMM 验证方法学概述
2.4 SYSTEM C 语言简介
2.4.1 System C 简介
2.4.2 System C 基本库介绍
2.5 验证工具介绍
2.6 本章小结
第三章 “二维加速引擎”逻辑的介绍
3.1 “二维加速引擎”逻辑的基本原理和应用场景
3.1.1 “二维加速引擎”逻辑的应用场景
3.1.2 “二维加速引擎”逻辑的工作模式
3.1.3 “二维加速引擎”逻辑的逻辑架构
3.2 测试点分解
3.2.1 测试点的来源
3.2.2 测试点的分类
3.2.3 测试点的分解
3.2.4 测试用例
3.3 本章小结
第四章 “二维加速引擎”具体实现的逻辑验证平台
4.1 “二维加速引擎”逻辑架构设计与验证平台
4.2 SCHEDULER 的设计
4.2.1 进程简介
4.2.2 reg_init 进程
4.2.3 int_proc 进程
4.2.4 node_cfg 进程
4.2.5 link_cfg 进程
4.3 测试用例（TESTCASE）
4.4 顶层（HARNESS）
4.5 工作目录的层次
4.6 代码覆盖率
4.6.1 代码覆盖率简介
4.6.2 代码覆盖率仿真结果
4.7 本章小结
第五章 总结
5.1 论文总结
5.2 下一步工作展望
致谢
参考文献
【参考文献】：
期刊论文
[1]基于SystemVerilog的SoC功能验证方法研究[J]. 程刚,蔡敏. 科学技术与工程. 2009(22)
[2]System Verilog中的随机化激励[J]. 杨鑫,徐伟俊,陈先勇,夏宇闻. 中国集成电路. 2007(10)
[3]成功流片的可靠途径[J]. Louie Leung. 世界电子元器件. 2004(06)
硕士论文
[1]基于SVA的NFC验证方法研究[D]. 刘旭恒.安徽大学 2011
[2]基于VMM的图像处理子系统验证平台的研究与设计[D]. 李渊清.天津大学 2010
[3]基于SystemC的时态逻辑属性验证方法研究[D]. 王胜.北京化工大学 2009
[4]对“缓存管理”逻辑进行EDA验证[D]. 马斌.西安电子科技大学 2009
[5]基于覆盖率验证方法的IP核测试平台设计[D]. 黄颖然.西安电子科技大学 2009
[6]CIOQ交换网输入缓存的验证环境实现[D]. 崔佳山.西安电子科技大学 2009
[7]基于SKYEYE和GEMINI创建软硬件协同验证开发环境[D]. 周强.上海交通大学 2009
[8]Cardbus-AHB总线桥IP核的验证方法研究和实现[D]. 夏莲.电子科技大学 2007
[9]覆盖率导向的验证方法的研究与实现[D]. 徐盛.同济大学 2007
[10]百万门级专用集成电路的FPGA验证[D]. 黄丽.西安电子科技大学 2007
本文编号：3710808
本文链接：https://www.wllwen.com/shekelunwen/ljx/3710808.html
