如何做 FPGA 验证 西电 张冰实验室 如发现有错误之处，请联系：guolehaohao@163.com 前言 自己是从2013 年 7 月份开始做关于 FPGA 的验证工作，本文完成于14 年的6 月，写这个文档的目的主要是对将近一年的学习做一个总结，另外秉着互联网“我为人人 人人为我”的精神，将自己学习过程中的收获和教训写出来和需要的人共享。 本文主要介绍了涉及 FPGA 验证的基本知识，包括了 SystemVerilog 语言、UVM(通用验证方法学)、Questasim 软件以及批处理脚本共四部分内容，文章中对各个知识点讲解都比较泛，很多知识点仅仅是点到为止，需要查阅其他资料进行更进一步的学习。本文章主要是面向初次学习PFGA 和 IC 验证的同学，通过本文章的阅读，能够对SV 的基础知识、UVM 的基本框架、Questasim 的基本应用以及验证项目的基本流程有个大概的了解，结合网络上其他资料，能够快速入门 PFGA 验证。 网络上关于UVM 和 SV 的资料推荐以下几个： 《UVM1.1 应用指南及源码分析》张强 《UVM_CookBook_2013》 《SystemVerilog 与功能验证》钟文枫 UVM 的帮助文档 QuestaSim 的帮助文档 郭乐 2015 年3 月18 于西安电子科技大学 西电 张冰实验室 如发现有错误之处，请联系：guolehaohao@163.com 致谢 时光荏苒、岁月如梭，转眼已到自己毕业的时间。回首自己将近三年的研究生学习生活，一路坎坎坷坷，幸而得到身边许多良师益友的关怀和指导、帮助和激励，使自己得以勤奋自勉，顺利完成学业。 在此成文之际，我首先向我的研究生导师张冰老师致以衷心的感谢。研究生期间张老师深厚的学术造诣、统揽全局的洞察能力、幽默乐观的生活态度和对技术进步的不懈追求拓宽了我的人生视野，照亮了我人生前行的道路。特别感谢项目组的张奭老师、潘伟涛老师，在完成验证项目期间，张奭老师和潘伟涛老师给予了详细的指导，并提出了许多宝贵的意见。 感谢北京大学光通信国家重点实验室给我提供宝贵的锻炼机会，正是因为有了在北大实习的经历，才有了本篇文章。感谢北京大学的张诚博士、赵辉博士、刘跃博士，吕毅和张平同学，感谢曾经并肩学习过的陈中强、彭露、刘春及张晋源同学，每次向你们咨询问题，你们都能知无不言、言无不尽，让我受益匪浅。 彭露、金淼、杜滨源也为本文做出贡献，在此一并感谢。 西电 张冰实验室 如发现有错误之处，请联系：guolehaohao@163.com 目录 第一章 SystemVerilog 语言 ...................
