【技术实现步骤摘要】
一种基于UVM的SM2模块验证平台及验证方法
本专利技术涉及密码的功能验证
，具体涉及一种基于UVM的SM2模块验证平台及验证方法。
技术介绍
随着集成电路制造技术的发展、芯片集成度的不断提高，芯片的规模已经从10年前的万门级发展到如今的数百万门级，而芯片上所能够实现的功能复杂度甚至超越了摩尔定律所预言的集成度的发展速度。由于复杂性的增加，导致验证工作占据整个设计周期的大部分时间，比重甚至可以达到70％。传统的验证方法是利用verilog语言搭建验证平台，结构上缺乏层次化设计，不同项目间的重用性差，因此不利于工程师维护和重用。传统验证方法的诸多缺陷已经不能满足当前的设计能力，高级验证方法学的出现正是为了弥补设计和验证之间的鸿沟。高级验证方法学引入了一种新的语言——SystemVerilog(SV)。SV全面综合了RTL设计、测试平台、断言和覆盖率，同时SV能够和芯片验证方法学结合在一起。使用验证方法学可以大大增强模块复用性，提高芯片开发效率，缩短开发周期。目前基于SystemVerilog的验证方法学主要有三种：VMM、OVM和UVM。其中UVM几乎完全继承...
【技术保护点】
1.一种基于UVM的SM2模块验证平台，其特征在于，包括：事务类、驱动器、输入监视器、输出监视器、参考模型、接口、序列发生器、序列、验证环境、覆盖率收集器、测试用例、寄存器模型、顶层以及待测的SM2模块，其中：所述事务类封装了SM2模块的全部输入数据和输出数据，包括SM2模块的6个输入变量和2个输出变量，其中6个输入变量均被设为随机变量，从而保证输入变量初始化的随机性；所述驱动器通过序列发生器获得事务类，然后通过接口传送到SM2模块之中，以驱动SM2模块；所述输入监视器通过接口获得事务类，然后通过FIFO或者端口port传给参考模型和覆盖率收集器；所述输出监视器用于检测SM...
【技术特征摘要】
1.一种基于UVM的SM2模块验证平台，其特征在于，包括：事务类、驱动器、输入监视器、输出监视器、参考模型、接口、序列发生器、序列、验证环境、覆盖率收集器、测试用例、寄存器模型、顶层以及待测的SM2模块，其中：所述事务类封装了SM2模块的全部输入数据和输出数据，包括SM2模块的6个输入变量和2个输出变量，其中6个输入变量均被设为随机变量，从而保证输入变量初始化的随机性；所述驱动器通过序列发生器获得事务类，然后通过接口传送到SM2模块之中，以驱动SM2模块；所述输入监视器通过接口获得事务类，然后通过FIFO或者端口port传给参考模型和覆盖率收集器；所述输出监视器用于检测SM2模块的输出，等SM2模块计算结束后，通过接口把输出端的数据放入事务类中，然后把事务类通过FIFO传送给参考模型中进行比对，验证SM2模块是否正确输出数据；所述参考模型用于模拟SM2模块的行为；所述的接口用于实现验证平台与SM2模块数据之间的交互；在顶层中实例化SM2模块和接口后，通过参数调用的方式即可进行数据交互；所述序列发生器是序列和驱动器之间通信的媒介，驱动器通过向序列发生器发送请求，序列发生器就驱动序列获得事务类，并且发给驱动器；所述序列是激励产生的源头，只需在测试用例中将不同的序列设置为序列发生器的默认序列，就可以产生不同的激励；所述验证环境，用于将验证平台中所有组件封装起来，当运行不同的测试用例时，只需在不同的测试用例实例化此验证环境，就可以实现对所有固定不变的组件的实例化，同时也负责验证平台中组件的实例化以及组件之间的连接；所述覆盖率收集器接收来自输入监视器的事务类，通过功能覆盖组和采样函数来完成功能覆盖点的覆盖率的统计，收集数据或表达式所有出现过的值或改变的情况；所述测试用例负责配置验证平台，通过指定不同的序列可以产生出不同的测试用例，不同的测试用例中可以实现针对每个功能实现具体的测试项，从而全面验证SM2模块，从而发现SM2模块中可能出现的问题；所述寄存器模型，通过后门访问操作读取SM2模块中各类寄存器的值，通过读取SM2模块状态寄存器的值以判断SM...
【专利技术属性】
技术研发人员：陆江城，熊晓明，张景龙，
申请(专利权)人：广东工业大学，
类型：发明
国别省市：广东,44
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。