USB3.0设备控制器IP核控制端点的RTL功能验证

发布时间：2018-06-17 09:26

本文选题：USB3.0 + 设备控制器　；参考：《合肥工业大学》2013年硕士论文

【摘要】：正如USB2.0取代USB1.1的潮流谁都无法阻挡一样， USB3.0必将逐步取代USB2.0成为最为通用的USB接口。USB3.0巨大的市场前景引起国内外众多企业和研究机构积极进行相关产品的研发。目前，USB3.0技术在国外已逐渐普及，而国内这方面技术还不成熟，虽然有不少企业积极参与，但具有真正自主知识产权的USB3.0核心技术产品非常少。本文依托于科研项目“USB3.0设备控制器IP/USB3.0通用设备控制器/USB3.0U盘控制器”，针对一款自主设计的USB3.0设备控制器IP核，深入研究了功能验证相关方法理论和USB3.0相关协议规范，旨在完成该IP核控制端点部分的RTL功能验证工作。主要工作如下： 1、本文在对黑盒、白盒和灰盒三种功能验证手段，以及基于仿真的验证技术、静态分析技术和形式化验证技术等三种涉及功能验证方面的主流验证技术进行了研究分析后，总结了不同验证手段和验证技术存在的优缺点及其适用范围，得出灰盒验证手段及基于软件仿真的功能验证方法适合本项目现阶段的验证工作。 2、本文对USB3.0相关协议规范进行了深入研究，包括USB3.0的体系结构、传输基本单位、传输类型、端点及物理层接口规范PIPE等，总结了相关知识，从总体和细节上把握设计规范。 3、将验证理论和协议规范的研究所得应用到IP核控制端点的RTL功能验证当中。根据项目的实际情况，对基于软件仿真的功能验证方法流程进行优化，再根据USB3.0相关协议规范，对IP核控制端点部分进行RTL功能验证。论文提出了一种验证平台的搭建方式及一套完整的验证流程，从验证平台的搭建出发，，分控制传输的设置、数据、状态三个阶段来完成控制端点的功能验证。验证平台采用标准的USB3.0PIPE接口，将验证组件模块化，分离了验证架构和激励产生机制，并实现了对验证结果的自动检查，从而增强了验证平台的可重用性、可扩展性和可靠性。验证涵盖了控制端点功能验证的三个方面：标准设备请求、包和重传机制，实现了对IP核控制端点部分待验证功能点的完备覆盖，并达到了100%的代码覆盖率。
[Abstract]:Just as no one can stop the trend that USB2.0 replaces USB1.1, USB3.0 will gradually replace USB2.0 as the most common USB interface. The huge market prospect of USB3.0 has aroused many enterprises and research institutions at home and abroad to actively carry out research and development of related products. At present, USB3.0 technology has been gradually popularized in foreign countries, but this technology is not mature in China. Although there are many enterprises actively participate, there are very few USB3.0 core technology products with real independent intellectual property rights. Based on the scientific research project "USB 3.0 device Controller IP / USB 3.0 Universal device Controller / USB 3.0 U disk Controller", this paper deeply studies the theory of function verification method and USB3.0 protocol specification for an independent design of USB 3.0 device controller IP core. In order to complete the IP core control endpoint part of the RTL function verification work. The main work is as follows: 1. In this paper, three functional verification methods, black box, white box and gray box, as well as the verification technology based on simulation, are introduced. After the research and analysis of three kinds of popular verification techniques, static analysis and formal verification, the advantages and disadvantages of different verification methods and verification techniques and their application scope are summarized. The grey box verification method and the function verification method based on software simulation are found to be suitable for the verification work of this project at this stage. 2. In this paper, the related protocol specification of USB3.0 is deeply studied, including the architecture of USB3.0, the basic unit of transmission, Transport type, endpoint and physical layer interface specification pipe, etc., summarized the relevant knowledge, The verification theory and protocol specification are applied to the RTL functional verification of IP core control endpoints. According to the actual situation of the project, the flow of the function verification method based on software simulation is optimized, and then the RTL function verification of the IP core control endpoint is carried out according to the USB3.0 protocol specification. This paper presents a verification platform and a complete verification process, starting from the construction of the verification platform, control the transmission of three stages, data, state to complete the functional verification of the control endpoint. The verification platform adopts the standard USB3.0 pipeline interface, modularizes the verification components, separates the verification architecture from the incentive generation mechanism, and realizes the automatic checking of the verification results, which enhances the reusability, expansibility and reliability of the verification platform. The verification covers three aspects of the functional verification of the control endpoint: standard device request, packet and retransmission mechanism. The complete coverage of the IP core control endpoint is achieved, and the code coverage is 100%.
【学位授予单位】：合肥工业大学
【学位级别】：硕士
【学位授予年份】：2013
【分类号】：TP334.7

【相似文献】