基于UVM验证方法学的一种1394总线事务层逻辑电路的验证研究-软件工程专业论文.docx

学校代码 分 类 号  10701 TN82 学 号 1211122887 密 级 公开或秘密  TN82 西安电子科技大学 硕士学位论文 基于 UVM 验证方法学的一种 1394 总线事务层 逻辑电路的验证研究 作者姓名： 惠君龙  领 域： 软件工程 学位类别：工程硕士 学校导师姓名、职称： 企业导师姓名、职称： 包军林副教授 田泽研究员  提交日期： 2015 年 3 月   A study of 1394 bus transaction layer logic circuit verification based on UVM A thesis submitted to XIDIAN UNIVERSITY in partial fulfillment of the requirements for the degree of Master in Software Engineering By Hui Junlong Supervisor: Bao Junlin Tian Ze March 2015   西安电子科技大学 学位论文独创性（或创新性）声明 秉承学校严谨的学风和优良的科学道德，本人声明所呈交的论文是我个人在 导师指导下进行的研究工作及取得的研究成果。尽我所知，除了文中特别加以标 注和致谢中所罗列的内容以外，论文中不包含其他人已经发表或撰写过的研究成 果；也不包含为获得西安电子科技大学或其它教育机构的学位或证书而使用过的 材料。与我一同工作的同志对本研究所做的任何贡献均已在论文中作了明确的说 明并表示了谢意。 学位论文若有不实之处，本人承担一切法律责任。 本人签名： 日 期： 西安电子科技大学 关于论文使用授权的说明 本人完全了解西安电子科技大学有关保留和使用学位论文的规定，即：研究 生在校攻读学位期间论文工作的知识产权单位属于西安电子科技大学。学校有权 保留送交论文的复印件，允许查阅、借阅论文；学校可以公布论文的全部或部分 内容，允许采用影印、缩印或其它复制手段保存论文。同时本人保证，获得学位 后结合学位论文研究成果撰写的文章，署名单位为西安电子科技大学。 保密的学位论文在 年解密后适用本授权书。 本人签名： 导师签名： 日 期： 日 期：   摘要 随着我国工业技术领域的日益发展，我国也能够自主研发基于 IEEE1394b 协 议数据??输总线类产品。一种 1394 总线事务层逻辑电路便是基于 IEEE1394b 协议 数据传输总线类产品，该逻辑电路承担着该 1394 总线的核心任务，它不仅负责发 送与接收基于 IEEE1394b 标准的数据和指令，还用于实现大数据量传输系统应用 需求的数据传输和通信调度，并且完成网络通信的确定性调度和管理功能。1394 总线事务层逻辑电路的质量安全不仅关系着 1394 总线事务层逻辑电路能否按照规 定完成功能任务，更加关系着操作人员的生命安全。1394 总线事务层逻辑电路的 验证工作是确保 1394 总线事务层逻辑电路顺利地完成预期功能的关键，所以如何 更好地完成 1394 总线事务层逻辑电路的验证工作是至关重要的。 UVM（Universal Verification Methodology）验证方法学是业界专家们为了 更好地满足当前超大规模集成电路设计的研发需求共同研发的一门验证方法学。 UVM 不但建立在 System Verilog 验证语言的基础之上，并且集 OVM 与 VMM 各种验 证优点为一体。基于 UVM 方法学搭建的验证平台具有易扩展性、可重用性、自动 化和高效性等特点，它不仅可以更好地提高验证质量，还能够很好地缩短验证时 间。 鉴于 UVM 验证方法学的优势，需在该 1394 总线事务层逻辑电路设计功能分析 的基础上，对基于 UVM 验证方法学的 1394 总线事务层逻辑电路进行研究与应用。 文章首先研究了 UVM 验证方法学与 System Verilog 验证语言，分析了 UVM 验证方 法学的树形结构管理与各种功能机制和 System Verilog 验证语言的特点与优势。 接着研究了 1394 总线事务层逻辑电路的验证思想，分析了 1394 总线事务层逻辑 电路的功能设计与验证方案。然后研究了 1394 总线事务层逻辑电路的 UVM 验证平 台，针对如何搭建基于 UVM 验证方法学的 1394 总线事务层逻辑电路的验证平台， 分析了验证平台的整体结构和验证平台内部各部件的实现方法，提出了一种具有 可重用性、自动化、易扩展性和高效性的 1394 总线事务层逻辑电路的验证平台的 搭建方法。最后，通过随机测试与定向数值测试相结合