基于VMM验证方法的研究

论文摘要

随着集成电路复杂度的增加,验证难度也相应增加,以代码覆盖率为导向的传统验证方法已经不能满足集成电路设计的要求,日渐成为数字集成电路设计开发周期的瓶颈。本文基于VMM(Verification Methodology Manual)验证方法学,在对传统验证方法进行研究的基础上,提出了结合功能覆盖率和断言的验证方法。搭建出了层次化、可重用、可扩展的验证平台,对MAC(Media Access Control)模块进行验证。分析了MAC帧长度和类型的功能点,编写出功能覆盖率模型,并对MII接口时序进行了断言的验证。一共开发出100多条测试向量,10条断言语句。行覆盖率为100%,条件覆盖率为95.1%,状态机跳转覆盖为100%,功能覆盖率为100%。本文讨论了如何将断言,功能覆盖率和传统的验证方法有效地结合。说明结合断言与功能覆盖率为导向的验证方法提高了验证过程中的观测性,减少了验证周期,保证了验证的完备性。

论文目录

• 摘要
• Abstract
• 第一章 绪论
• 1.1 课题背景及研究目的和意义
• 1.2 验证方法概述
• 1.3 本课题研究的主要内容和论文结构
• 第二章 VMM验证方法学
• 2.1 SystemVerilog
• 2.2 覆盖率驱动验证
• 2.3 基于断言的验证
• 2.4 VMM验证方法特点
• 2.5 SystemVerilog的VMM标准库介绍
• 2.6 本章小结
• 第三章 验证流程设计
• 3.1 测试点
• 3.1.1 测试点的定义
• 3.1.2 测试点的分类
• 3.1.3 测试点分解的要点
• 3.2 传统验证流程
• 3.3 结合功能覆盖率和断言的验证流程
• 3.4 验证方案的编写原则
• 3.5 验证环境搭建的要点
• 3.6 测试向量编写的要点
• 3.7 本章小结
• 第四章 MAC模块的基本功能
• 4.1 基于IEEE802.3 协议以太MAC的基本功能介绍
• 4.1.1 以太网简介
• 4.1.2 MAC控制器
• 4.1.3 IEEE802.3 协议介绍
• 4.2 GPON 项目中MAC模块支持的功能描述
• 4.2.1 MAC基本功能列表
• 4.2.2 MAC支持的接口
• 4.3 本章小结
• 第五章 MAC验证
• 5.1 MAC模块的测试点分解
• 5.3 MAC验证环境的搭建
• frame）'>5.3.1 数据结构和格式（MAC_frame）
• 5.3.2 场景产生器（generator）
• 5.3.3 功能事务处理（transaction）
• 5.3.4 参考模型（rm）
• 5.3.5 总线功能模型（BFM）
• 5.3.6 自动比较器（checker）
• 5.3.7 配置模块（command）
• env）'>5.3.8 验证顶层（TH_env）
• 5.4 MAC接口协议断言验证
• 5.5 基于功能覆盖率的验证
• 5.6 MAC仿真结果
• 5.7 本章小结
• 第六章 总结与展望
• 6.1 总结
• 6.2 展望
• 致谢
• 参考文献
• 研究成果