验证系统及其验证方法技术方案

本发明专利技术提供了一种验证系统，包括UVM验证平台、以及与其分别通信连接的C程序模块和被测设备；所述UVM验证平台产生随机测试激励信息，所述C程序模块产生定向测试激励信息；所述C程序模块将所述随机测试激励信息和所述定向测试激励信息中的任意一个处理为目标数据并反馈给所述UVM验证平台；所述被测设备对所述随机测试激励信息和所述定向测试激励信息中的任意一个进行处理以得到实测数据并反馈给所述UVM验证平台；所述UVM验证平台判断所述实测数据和所述目标数据是否一致，解决了现有技术中提供的验证系统只适应于特定的项目，可移植性差，开发的成本高的问题。本发明专利技术还提供了所述验证系统的验证方法。

【技术实现步骤摘要】
验证系统及其验证方法
本专利技术涉及芯片验证
，尤其涉及一种验证系统及其验证方法。
技术介绍
近年来，随着芯片集成度的不断提高，芯片的功能复杂度也大大增加，芯片的设计过程更加容易引入错误，验证工作变得更加艰巨。在集成电路设计中，验证工作占到了整个设计周期的一半以上。而验证的不充分导致的功能错误，是芯片首次投片成功率不高的主要原因。传统的验证技术已经不能再满足日益增长的验证需求，验证成为集成电路设计中的瓶颈。通用验证方法学引入了一种新的验证语言——SystemVerilog(SV)。目前基于SystemVerilog的通用验证方法学主要有三种：验证方法学（VerificationMethodologyManual，VMM）、开放验证方法学（OpenVerificiationMethodology，OVM）和通用验证方法学（UniversalVerificationMethodology，UVM）。其中UVM是一个以SystemVerilog类库为主体的验证平台开发框架，验证工程师可以利用其可重用组件构建具有标准化层次结构和接口的功能验证环境。UVM继承了OVM的大多数优点，同时又采纳了新思科技（Synopsys）在VMM中的寄存器解决方案RAL。UVM克服了OVM和VMM的缺点，代表了当前通用验证方法学的发展方向，目前已成为工业界主流的通用验证方法学。公开号为CN110618929A的中国专利申请公开了一种基于UVM的对称加密算法的验证平台，包括顶层、测试用例和验证环境。所述验证环境由uvm_env派生出来的，把需要的组件整合连接进行工作，包括寄存器模型、序列发生器、序列、事务数据、驱动、覆盖率统计器、输入监视器、输出监视器、计分板、参考模型、输入接口和输出接口，所述序列派生自uvm_sequence，只需在测试用例中将不同的序列设置为序列发生器的defaultsequence，产生不同的验证激励，所述序列包括随机序列、特殊序列和定向序列；所述参考模型（referencemodel）是模拟DUT模块的行为模型，所述模型采用高级编程语言进行搭建DUT的功能模型，所述参考模型采用C语言进行搭建，并在验证前完成测试算法。其中，通过所述序列生成事务数据并通过驱动将随机激励向参考模型和DUT模块进行传输，随后将参考模型和DUT模块的运算结果传输至计分板，计分板进行数据对比判断功能验证情况，同时通过覆盖率模型进行覆盖率检查，确保功能验证仿真正常。该专利技术不限定对称加密算法，可实现多种加密对称算法功能验证，验证平台具有良好的可重用性和复用性。但该专利技术的测试序列是基于UVM验证平台的定向序列和随机序列，存在定向测试和随机测试转化需要不断修改代码的缺陷，降低验证效率，而且其参考模型集成于UVM验证平台，需要提供DPI接口，仅支持C语言的模型，适应范围小，使用难度大。因此，有必要提供一种新型的验证系统及其验证方法以解决现有技术中存在的上述问题。
技术实现思路
本专利技术的目的在于提供一种验证系统及其验证方法，以解决了现有技术中提供的验证系统只适应于特定的项目，可移植性差，开发的成本高的问题。为实现上述目的，本专利技术的所述验证系统，包括C程序模块、UVM验证平台和被测设备，所述C程序模块与所述UVM验证平台通信连接，所述UVM验证平台与所述被测设备通信连接；所述UVM验证平台和所述C程序模块中的任意一个作为激励产生单元，所述UVM验证平台产生随机测试激励信息并分别反馈给所述被测设备和所述C程序模块，所述C程序模块产生定向测试激励信息并通过所述UVM验证平台反馈给所述被测设备；所述C程序模块将所述随机测试激励信息和所述定向测试激励信息中的任意一个处理为目标数据并反馈给所述UVM验证平台；所述被测设备对所述随机测试激励信息和所述定向测试激励信息中的任意一个进行处理以得到实测数据并反馈给所述UVM验证平台；所述UVM验证平台判断所述实测数据和所述目标数据是否一致。本专利技术的验证系统的有益效果在于：通过所述UVM验证平台与所述被测设备通信连接，所述UVM验证平台产生随机测试激励信息并反馈给所述被测设备，所述被测设备对所述随机测试激励信息进行处理以得到实测数据并反馈给所述UVM验证平台，使得对所述被测设备能进行随机测试验证，实现了全方位的验证，测试范围广，验证更全面，能节省验证时间；通过所述C程序模块产生定向测试激励信息并通过所述UVM验证平台反馈给所述被测设备，所述被测设备对所述定向测试激励信息进行处理以得到实测数据并反馈给所述UVM验证平台，使得对所述被测设备进行定向测试验证，使得更能快速实现预期的检测，而且使得所述验证系统可以进行定向测试验证和随机测试验证中的任意一种，且所述C程序模块产生定向测试激励信息，所述UVM验证平台产生所述随机测试激励信息，即产生随机测试激励信息和定向测试激励信息的属于不同模块，不需要修改代码，有益于代码的稳定性，提高了验证的效率，解决了现有技术中测试所用的定向序列和随机序列均是基于UVM验证平台产生，存在定向测试和随机测试转化需要不断修改代码的缺陷，验证效率低的问题；通过所述C程序模块将所述随机测试激励信息和所述定向测试激励信息中的任意一个处理为目标数据并反馈给所述UVM验证平台，所述UVM验证平台判断所述实测数据和所述目标数据是否一致，所述目标数据给所述实测数据提供了对比依据，使得在完成随机激励测试的同时可以进行结果比较，大大提高验证的效率，保证了验证结果的准确性；通过所述C程序模块与所述UVM验证平台通信连接，所述UVM验证平台产生随机测试激励信息并反馈给所述C程序模块，从而实现了将UVM验证平台产生随机测试激励信息复用于C程序模块的测试中，又所述C程序模块产生定向测试激励信息，使得所述定向测试激励信息以C程序形式存在，使得所述C程序模块可以复用所述随机测试激励信息和所述定向测试激励信息中的任意一种，减少所述被测设备验证的工作量，使得C程序模块可以采用所述随机测试激励信息和所述定向测试激励信息中的任意一种用于进行软件测试和开发，提高了所述UVM验证平台产生随机测试激励信息的复用性，减轻软件测试的负担；本专利技术提供的验证系统具有通用的验证组件，具有可移植性，有益于在不同的所述被测设备验证项目中复用，减少验证系统开发工作量，解决了现有技术中提供的验证系统只适应于特定的项目，可移植性差，开发的成本高的问题。优选的，所述C程序模块包括测试模块和格式转换模块，所述UVM验证平台包括序列模块，所述格式转换模块分别与所述测试模块和所述序列模块通信连接；所述序列模块包括随机测试激励产生单元，所述随机测试激励产生单元产生所述随机测试激励信息并发送给所述格式转换模块；所述格式转换模块将所述序列模块的数据类型转换为所述测试模块可接收的数据类型。其有益效果在于：所述格式转换模块将所述UVM验证平台中产生的随机测试激励信息的序列转换为C程序模块能接收的数据格式，使得实现了将UVM验证平台中产生的随机测试激励信息的序列复用于C程序模块的测试中，方便所述C程序模块采用所述随机测试激励信本文档来自技高网...

【技术保护点】
1.一种验证系统，其特征在于，包括C程序模块、UVM验证平台和被测设备，所述C程序模块与所述UVM验证平台通信连接，所述UVM验证平台与所述被测设备通信连接；/n所述UVM验证平台和所述C程序模块中的任意一个作为激励产生单元，所述UVM验证平台产生随机测试激励信息并分别反馈给所述被测设备和所述C程序模块，所述C程序模块产生定向测试激励信息并通过所述UVM验证平台反馈给所述被测设备；/n所述C程序模块将所述随机测试激励信息和所述定向测试激励信息中的任意一个处理为目标数据并反馈给所述UVM验证平台；/n所述被测设备对所述随机测试激励信息和所述定向测试激励信息中的任意一个进行处理以得到实测数据并反馈给所述UVM验证平台；/n所述UVM验证平台判断所述实测数据和所述目标数据是否一致。/n

【技术特征摘要】
1.一种验证系统，其特征在于，包括C程序模块、UVM验证平台和被测设备，所述C程序模块与所述UVM验证平台通信连接，所述UVM验证平台与所述被测设备通信连接；
所述UVM验证平台和所述C程序模块中的任意一个作为激励产生单元，所述UVM验证平台产生随机测试激励信息并分别反馈给所述被测设备和所述C程序模块，所述C程序模块产生定向测试激励信息并通过所述UVM验证平台反馈给所述被测设备；
所述C程序模块将所述随机测试激励信息和所述定向测试激励信息中的任意一个处理为目标数据并反馈给所述UVM验证平台；
所述被测设备对所述随机测试激励信息和所述定向测试激励信息中的任意一个进行处理以得到实测数据并反馈给所述UVM验证平台；
所述UVM验证平台判断所述实测数据和所述目标数据是否一致。


2.根据权利要求1所述的验证系统，其特征在于，所述C程序模块包括测试模块和格式转换模块，所述UVM验证平台包括序列模块，所述格式转换模块分别与所述测试模块和所述序列模块通信连接；
所述序列模块包括随机测试激励产生单元，所述随机测试激励产生单元产生所述随机测试激励信息并发送给所述格式转换模块；
所述格式转换模块将所述序列模块的数据类型转换为所述测试模块可接收的数据类型。


3.根据权利要求2所述的验证系统，其特征在于，所述C程序模块还包括参考模型模块，所述参考模型模块与所述测试模块通信连接；
所述测试模块包括随机测试激励中转单元，所述随机测试激励中转单元将所述随机测试激励信息发送给所述参考模型模块；
所述参考模型模块将所述随机测试激励信息处理为目标数据并反馈给所述UVM验证平台。


4.根据权利要求3所述的验证系统，其特征在于，所述测试模块还包括定向测试激励产生单元，所述定向测试激励产生单元分别与所述格式转换模块和所述参考模型模块通信连接；
所述定向测试激励产生单元根据所述被测设备的待测试功能参数产生定向测试激励信息，并分别发送给所述格式转换模块和所述参考模型模块；
所述格式转换模块将所述测试模块的数据类型转换为所述序列模块可接收的数据类型；
所述参考模型模块将所述定向测试激励信息处理为目标数据并反馈给所述UVM验证平台。


5.根据权利要求4所述的验证系统，其特征在于，所述参考模型模块包括模拟所述被测设备的行为模型，并储存有SystemC模型、C模型和C++模型中的任意一种。


6.根据权利要求4所述的验证系统，其特征在于，所述格式转换模块储存有转换脚本，所述格式转换模块根据格式转换需求调用所述转换脚本以对所述测试模块的数据类型和所述序列模块的数据类型之间进行转换处理。


7.根据权利要求4所述的验证系统，其特征在于，所述测试模块还包括测试激励储存单元，所述测试激励储存单元储存所述随机测试激励信息和所述定向测试激励信息。


8.根据权利要求4所述的验证系统，其特征在于，所述UVM验证平台还包括数据发送模块，所述数据发送模块分别与所述序列模块和所述被测设备通信连接；
所述数据发送模块将所述随机测试激励信息或所述定向测试激励信息发送给所述被测设备。


9.根据权利要求8所述的验证系统，其特征在于，所述序列模块还包括定向测试激励打包单元，所述定向测试激励打包单元将所述定向测试激励信息打包为数据包并通过所述数据发送模块发送给所述被测设备。


10.根据权利要求8所述的验证系统，其特征在于，所述UVM验证平台还包括记分板模块和数据接收模块，所述数据接收模块与所述被测设备通信连接，所述记分板模块分别与所述参考模型模块和所述数据接收模块通信连接；
所述数据接收模块收集所述被测设备处理得到的所述实测数据并发送给所述记分板模块；
所述记分板模块接收所述实测数据和所述参考模型模块发送的所述目标数据，并判断所述目标数据和所述实测数据是否一致。


11.根据权利要求10所述的验证系统，其特征在于，所述被测设备包括图像信号处理模块、存储模块和数据交互模块，所述图像信号处理模块、所述存储模块和所述数据交互模块相互连接，所述数据交互模块分别与所述数据发送模块和所述数据接收模块通信连接。


12.根据权利要求11所述的验证系统，其特征在于，所述验证系统还包括测试类型判断模块和指令输入模块，所述测试类型判断模块分别与所述指令输入模块、所述随机测试激励产生单元和所述定向测试激励产生单元通信连接，所述测试类型判断模块根据所述指令输入模块输入的测试验证指令控制所述随机测试激励产生单元和所述定向测试激励产生单元分别产生随机测试激励信息和定向测试激励信息，以对所述被测设备进行随机测试验证和定向测试验证中的至少一种。


13.根据权利要求12所述的验证系统的验证方法，其特征在于，所述测试验证指令为随机测试验证指令、定向测试验证指令、先进行随机测试验证后再进行定向测试验证指令和先进行定向测试验证后再进行随机测试验证指令中的任意一种。


14.根据权利要求1-13任意一项所述的验证系统的验证方法，其特征在于，包括随机测试验证步骤和定向测试验证步骤中的至少一种；
所述随机测试验证步骤包括：
S110：当所述UVM验证平台作为激励产生单元，通过所述UVM验证平台产生随机测试...

【专利技术属性】
技术研发人员：龚向阳，
申请(专利权)人：上海齐感电子信息科技有限公司，
类型：发明
国别省市：上海;31