CN110618929A 一种基于uvm的对称加密算法的验证平台和验证方法 （广东工业大学）

一种基于UVM的对称加密算法的验证平台和本发明公开了一种基于UVM的对称加密算法述验证环境由uvm_env派生出来的，把需要的组据并通过驱动将随机激励向参考模型和DUT模块进行传输，随后将参考模型和DUT模块的运算结验证情况，同时通过覆盖率模型进行覆盖率检22.根据权利要求1所述的基于UVM的对称加密所述寄存器模型(registermodel)派生自uvm_reg，可实现验证环境中的驱动和参考所述序列发生器(sequencer)派生自uvm_sequencer，将序列进行储存并打包发送出所述序列(sequence)派生自uvm_sequence，只需在测试用例所述事务数据(transaction)派生自uvm_sequence_item，算法模块的2个输入变量和2个输出变量，其中输入变量均采用随机数据，数据加关键字所述驱动(driver)派生自uvm_driver，驱动通过向序列发所述覆盖率统计器(coverage)派生自uvm_subscriber，通过功能覆盖组(coveragegroup)和采样函数sample()来完成功能覆盖点的覆盖率的统计，收所述输入监视器(in_monitor)派生自uvm_monitor，输入监视器通过接口提取事务类所述计分板(scoreboard)派生自uvm_scoreboard，用于比对DUT模块的运算输出结果所述参考模型(referencemodel)是模拟DUT模块的行为所述输入接口(interface_in)是验证平台向DUT模所述输出接口(interface_out)是DUT模块向验证平3.根据权利要求2所述的基于UVM的对称加4.根据权利要求2所述的基于UVM的对称加密算法的验证平台5.根据权利要求2所述的基于UVM的对称36.根据权利要求2所述的基于UVM的对称加密算法监视器通过先进先出存储区FIFO或者端口port将事务类数据传给参考模型和覆盖率统计7.根据权利要求2所述的基于UVM的对称8.根据权利要求2所述的基于UVM的对称加密算模型与计分板通过先进先出存储区FIFO9.根据权利要求8所述的基于UVM的对称加密算法S2：验证平台的驱动向序列发生器发送序列请S5：通过覆盖率统计器建立功能覆盖率模型来检验4[0003]传统的验证方法是利用verilog语言搭建简单的验证平台，验证结构上缺乏层次[0006]往常验证对称密码算法主要通过verilog编写验证平台的方法，在FPGA硬件平台[0007]本发明的首要目的是提供一种基于UVM的对称加密算法的验证平台，提升对称加5[0011]所述顶层通过调用测试用例对对称加密算法(DUT)进行功能仿真验证，通过测试[0013]所述寄存器模型(registermodel)派生自uvm_reg，可实现验证环境中的驱动和[0018]所述覆盖率统计器(coverage)派生自uvm_subscriber，通过功能覆盖组(coveragegroup)和采样函数sample()来完成功能覆盖点的覆盖率的统计，收[0019]所述输入监视器(in_monitor)派生自uvm_monitor，输入监视器通过接口提取事[0020]所述输出监视器(out_monitor)派生自uvm_monitor，用于检测DUT模块的输出结[0021]所述计分板(scoreboard)派生自uvm_scoreboard，用于比对DUT模块的运算输出6[0024]所述输出接口(interface_out)是DUT模块向验证平台传输数据的通道，因为DUT过程只需要直接传输数据进行运算即可得到预期结果，同时SV语言中通过DPI接口可以很[0032]一种基于UVM的对称加密算法验证平台的验证方法，所述验证方法应用于上述所通过查看覆盖率报告设计人员可以及时修改测试用例或增加约束条件，以完整验证DUT模[0039]本发明通过顶层调用DUT模块进行功能仿真验证，通过测试用例的大量不定向测7[0044]对于本领域技术人员来说，附图中某些公知结构及其说明可能省略是可以理解[0049]所述寄存器模型(registermodel)派生自uvm_reg，可实现验证环境中的驱动和[0054]所述覆盖率统计器(coverage)派生自uvm_subscriber，通过功能覆盖组(coveragegroup)和采样函数sample()来完成功能覆盖点的覆盖率的统计，收[0055]所述输入监视器(in_monitor)派生自uvm_monitor，输入监视器通过接口提取事8[0057]所述计分板(scoreboard)派生自uvm_scoreboard，用于比对DUT模块的运算输出[0064]所述输入监视器通过先进先出存储区FIFO或者端口port将事务类数据传给参考[0069]S10：初始化对称加密算法的验证平台各个组件同