CN105068908A - 一种用于kvm asic的功能验证平台的搭建方法 - Google Patents

Abstract

本发明公开一种用于KVM？ASIC的功能验证平台的搭建方法，属于IC设计验证领域；本发明通过综合UVM验证方法学、编写寄存器属性文档，根据编写寄存器属性文档搭建KVM？ASIC的功能验证平台，实现了通过文本文档完成验证平台的功能定则，快速而高效的完成KVM？ASIC功能验证平台的搭建，并且本发明实施方便，流程简单，高效稳定，可以大幅缩短为KVM？ASIC搭建功能验证平台的开发周期，提高功能验证效率。

Description

一种用于KVM ASIC的功能验证平台的搭建方法

技术领域

本发明公开一种功能验证平台的搭建方法，属于IC设计验证领域，具体地说是一种用于KVMASIC的功能验证平台的搭建方法。

背景技术

集成电路制造技术迅速发展，同时市场对高集成度产品的需求也不断增加，进一步促成集成电路的复杂度不断增加。高集成度产品通过使用设计重用技术，实现了设计能力的大幅度提升；但验证方面，现阶段国内对集成电路的验证手段，主要是编写testbench定向激励，虽然编写定向测试验证方案验证前期投入精力较少且验证测试工作启动早，但是验证计划推进缓慢，而且难以衡量验证的完备性，尤其不能满足需求高集成度产品的测试要求。因此，本发明提出了一种用于KVMASIC的功能验证平台的搭建方法，通过综合UVM验证方法学、SystemVerilog等多种设计验证语言和脚本语言，实现了通过文本文档完成验证平台的功能定则，快速而高效的完成KVMASIC功能验证平台的搭建。该方法实施方便，流程简单，高效稳定，可以大幅缩短为KVMASIC搭建功能验证平台的开发周期，提高功能验证效率。

UVM，UniversalVerificationMethodology，通用验证方法学是一个以SystemVerilog类库为主体的验证平台开发框架，验证工程师可以利用其可重用组件构建具有标准化层次结构和接口的功能验证环境。

KVM是键盘(Keyboard)、视频显示器(Video)、鼠标(Mouse)的英文头字母缩写,即用一套或数套键盘、显示器和鼠标在多个不同操作***的多台主机之间切换。ASIC，ApplicationSpecificIntegratedCircuit的英文缩写，在集成电路界被认为是一种为专门目的而设计的集成电路。KVMASIC可以实现一个用户使用一套键盘、鼠标、显示器去访问和操作一台以上主机的功能。

发明内容

本发明针对现有的验证手段其验证计划推进缓慢，而且难以衡量验证的完备性，尤其不能满足需求高集成度产品的测试要求的缺陷，提供一种用于KVMASIC的功能验证平台的搭建方法，实施方便，流程简单，高效稳定，可以大幅缩短为KVMASIC搭建功能验证平台的开发周期，提高功能验证效率。

本发明提出的具体方案是：

一种用于KVMASIC的功能验证平台的搭建方法，基于UVM的验证方法学，根据KVMASIC的设计标准说明和内部寄存器说明，编写寄存器属性文档；

根据寄存器属性文档，建立用于KVMASIC的功能验证平台：

设计事务包组件，KVMASIC中有不同独立的子模块之间通信协议各不相同，根据不同通信协议，使用脚本语言调用相应的数据包模块，生成不同的transaction组件；

根据事务包组件，设计不同子模块相应的驱动器、监控器，完成不同子模块间事务包的驱动和收集；

根据芯片的寄存器和存储器说明使用脚本语言自动设计设计寄存器模型，并进行初始化设置；根据芯片各子模块的工作流程和子模块之间的通信规则设计芯片验证平台功能参考模型；根据不同子模块之间的I/O信号不同，设计不同子模块之间的接口模块，实现验证平台和KVMASIC的连接；

提供测试向量，调试验证平台，完成验证平台的搭建。

所述编写寄存器属性文档包括编写各内部寄存器的位宽、名字、操作、地址、数据含义、初始值，其中操作包括可读、可写、只读、读后清零操作。

所述根据事务包组件，还包括设计不同子模块之间的比较器，在比较器中根据不同的通信协议，为不同的事务包设计不同的缓冲FIFO和比较任务。

所述功能验证平台的一个验证组件驱动器的工作流程为：开始进入while循环，判断是否为reset或限流状态，若是，则发送无效数据，等待失主上升沿，再次进入while循环；若否，则进入时分复用数据驱动；

判断当前端口状态，若IDLE，则归入INS＿IDLE分支；否则继续判断端口状态；若EOP，则归入EOP分支；否则继续判断端口状态，若INS＿IPG，则归入INS＿IPG分支，否则归入下一INS＿IDLE分支。

所述的功能验证平台的搭建过程中使用SystemVerilog、Verilog、Perl语言的一种或几种组合。

本发明的有益之处是：本发明通过使用数据包模板和脚本程序完成多种transaction的生成，当子模块间通信协议改变时，只需要在数据包模块库中进行相关数据包模块的属性域修改，脚本语言即可完成新的transaction的生成。验证平台可以直接使用新的transaction进行下一次测试，而无需像原有testbench，重新修改多个头文件，进行整个验证和设计的编译，然后才可以进行测试；通过使用寄存器属性文档，调用脚本语言完成寄存器模型的构建。当改变了寄存器属性时，只需要重新调用脚本语言生成新的寄存器模型。因此，通过控制寄存器属性文档，就可以对整个设计的寄存器和存储器在验证平台中的镜像进行管理，降低人为错误，提高了工作效率。

附图说明

图1为KVMASIC验证平台框架示意图；

图2本发明验证平台的驱动器的工作流程示意图。

具体实施方式

结合附图对本发明做进一步说明。

一种用于KVMASIC的功能验证平台的搭建方法，基于UVM的验证方法学，根据KVMASIC的设计标准说明和内部寄存器说明，编写寄存器属性文档；所述编写寄存器属性文档包括编写各内部寄存器的位宽、名字、操作、地址、数据含义、初始值，其中操作包括可读、可写、只读、读后清零操作；对于存储器，编写数据位宽、深度、操作、地址宽度、块地址、初始值等；例如以下寄存器属性文档：

根据寄存器属性文档，建立用于KVMASIC的功能验证平台：

设计事务包组件，KVMASIC中有不同独立的子模块之间通信协议各不相同，根据不同通信协议，使用脚本语言调用相应的数据包模块，生成不同的transaction组件；

根据事务包组件，设计不同子模块相应的驱动器、监控器，完成不同子模块间事务包的驱动和收集；

根据芯片的寄存器和存储器说明使用脚本语言自动设计设计寄存器模型，并进行初始化设置；根据芯片各子模块的工作流程和子模块之间的通信规则设计芯片验证平台功能参考模型；根据不同子模块之间的I/O信号不同，设计不同子模块之间的接口模块，实现验证平台和KVMASIC的连接；

提供测试向量，调试验证平台，完成验证平台的搭建。

此外，以上的功能验证平台搭建过程中，根据事务包组件，还可包括设计不同子模块之间的比较器，在比较器中根据不同的通信协议，为不同的事务包设计不同的缓冲FIFO和比较任务。

以上功能验证平台的搭建过程中可以使用SystemVerilog、Verilog、Perl多种语言的组合。

所述功能验证平台的一个验证组件驱动器的工作流程为：开始进入while循环，判断是否为reset或限流状态，若是，则发送无效数据，等待失主上升沿，再次进入while循环；若否，则进入时分复用数据驱动；

判断当前端口状态，若IDLE，则归入INS＿IDLE分支；否则继续判断端口状态；若EOP，则归入EOP分支；否则继续判断端口状态，若INS＿IPG，则归入INS＿IPG分支，否则归入下一INS＿IDLE分支。

Claims (5)

1.一种用于KVMASIC的功能验证平台的搭建方法，基于UVM的验证方法学，其特征是：

根据KVMASIC的设计标准说明和内部寄存器说明，编写寄存器属性文档；

根据寄存器属性文档，建立用于KVMASIC的功能验证平台：

设计事务包组件，KVMASIC中有不同独立的子模块之间通信协议各不相同，根据不同通信协议，使用脚本语言调用相应的数据包模块，生成不同的transaction组件；

根据事务包组件，设计不同子模块相应的驱动器、监控器，完成不同子模块间事务包的驱动和收集；

根据芯片的寄存器和存储器说明使用脚本语言自动设计设计寄存器模型，并进行初始化设置；根据芯片各子模块的工作流程和子模块之间的通信规则设计芯片验证平台功能参考模型；根据不同子模块之间的I/O信号不同，设计不同子模块之间的接口模块，实现验证平台和KVMASIC的连接；

提供测试向量，调试验证平台，完成验证平台的搭建。

2.根据权利要求1所述的一种用于KVMASIC的功能验证平台的搭建方法，其特征是所述编写寄存器属性文档包括编写各内部寄存器的位宽、名字、操作、地址、数据含义、初始值，其中操作包括可读、可写、只读、读后清零操作。

3.根据权利要求1或2所述的一种用于KVMASIC的功能验证平台的搭建方法，其特征是根据事务包组件，还包括设计不同子模块之间的比较器，在比较器中根据不同的通信协议，为不同的事务包设计不同的缓冲FIFO和比较任务。

4.根据权利要求3所述的一种用于KVMASIC的功能验证平台的搭建方法，其特征是所述功能验证平台的一个验证组件驱动器的工作流程为：开始进入while循环，判断是否为reset或限流状态，若是，则发送无效数据，等待失主上升沿，再次进入while循环；若否，则进入时分复用数据驱动；

判断当前端口状态，若IDLE，则归入INS＿IDLE分支；否则继续判断端口状态；若EOP，则归入EOP分支；否则继续判断端口状态，若INS＿IPG，则归入INS＿IPG分支，否则归入下一INS＿IDLE分支。

5.根据权利要求1或4所述的一种用于KVMASIC的功能验证平台的搭建方法，其特征是所述的功能验证平台的搭建过程中使用SystemVerilog、Verilog、Perl语言的一种或几种组合。