随着硬件设计技术的不断发展,芯片的规模不断增大,相对应的验证难度也在不断提高,目前比较普遍使用的验证方法是使用硬件设计语言HDL来进行验证,其在验证方面表达能力很有限。硬件验证语言(HVL)的出现正是符合了这些要求,它是一种更加偏向软件的语言,大大减少了验证工作量。Jeda语言就是这样一种语言,它本身提供了实现模拟验证方法的机制,提高了模拟验证的效率。本文专门选择了一章内容详细介绍了Jeda语言的运行机制,特点和语法等。USB协议是一种比较复杂的协议,它的验证需要不小的工作量,这里我们采用了自底向上的灰盒测试的方法。为了验证USB IP核,首先分析了其数据流传输的过程,确定了验证工作的方法、范围和侧重点。根据传输的数据抽象程度将验证工作分为三个级别:数据包级验证,事务级验证和I/O请求报级验证。针对每个级别分别实现了相应的验证环境,并在各个环境中对USB设备进行了全面的测试模拟。并对各个级别的模拟结果进行了详细的分析,对比模拟数据和预期的数据是否一致,最终论证说明了所设计的验证环境能够很好的对USB设备进行验证。当然,这个验证中也有不足之处和需要改进的地方,本文中也一一指出了。本文就USB设计的验证,进行了多方面的工作,从理论到实际设计都有涉猎,进行了一次全方面的硬件验证工作。硬件的验证工作一直是硬件设计过程中的一个最薄弱的也是最重要的环节,使用更先进的技术和方法才能更好的解决这一矛盾。通过对USBIP核验证的实践过程,我们更好的了解这些技术和方法,对今后的工作大有裨益。