基于UVM的SM2模块验证平台及验证方法.pdf
《基于UVM的SM2模块验证平台及验证方法.pdf》由会员分享,可在线阅读,更多相关《基于UVM的SM2模块验证平台及验证方法.pdf(11页完成版)》请在专利查询网上搜索。
1、(19)中华人民共和国国家知识产权局 (12)发明专利申请 (10)申请公布号 (43)申请公布日 (21)申请号 201910192410.3 (22)申请日 2019.03.14 (71)申请人 广东工业大学 地址 510062 广东省广州市大学城外环西 路100号 (72)发明人 陆江城熊晓明张景龙 (74)专利代理机构 广东广信君达律师事务所 44329 代理人 杨晓松 (51)Int.Cl. G06F 17/50(2006.01) (54)发明名称 一种基于UVM的SM2模块验证平台及验证方 法 (57)摘要 本发明公开了一种基于UVM的SM2模块验证 平台及验证方法, 其中验证平台。
2、包括: 事务类、 驱 动器、 输入监视器、 输出监视器、 参考模型、 接口、 序列发生器、 序列、 验证环境、 覆盖率收集器、 测 试用例、 寄存器模型、 顶层以及待测的SM2模块。 本发明采用的基于UVM的SM2模块验证平台的验 证效率更高、 层次化结构更明显, 可重用性和可 移植性更强, 便于移植到其他项目的验证平台中 去; 本发明运用UVM验证方法学搭建一个层次化、 高效率、 可重用的验证平台, 通过产生不同的测 试用例, 采用完全随机化和最值的测试方法, 可 以遍历SM2模块所有的功能模式, 另外通过覆盖 率模型收集并监测覆盖率, 从而大大提高验证的 效率和验证的可信程度。 权利要求书。
3、2页 说明书6页 附图2页 CN 110046387 A 2019.07.23 CN 110046387 A 1.一种基于UVM的SM2模块验证平台, 其特征在于, 包括: 事务类、 驱动器、 输入监视器、 输出监视器、 参考模型、 接口、 序列发生器、 序列、 验证环境、 覆盖率收集器、 测试用例、 寄存 器模型、 顶层以及待测的SM2模块, 其中: 所述事务类封装了SM2模块的全部输入数据和输出数据, 包括SM2模块的6个输入变量 和2个输出变量, 其中6个输入变量均被设为随机变量, 从而保证输入变量初始化的随机性; 所述驱动器通过序列发生器获得事务类, 然后通过接口传送到SM2模块之中,。
4、 以驱动 SM2模块; 所述输入监视器通过接口获得事务类, 然后通过FIFO或者端口port传给参考模型和覆 盖率收集器; 所述输出监视器用于检测SM2模块的输出, 等SM2模块计算结束后, 通过接口把输出端 的数据放入事务类中, 然后把事务类通过FIFO传送给参考模型中进行比对, 验证SM2模块是 否正确输出数据; 所述参考模型用于模拟SM2模块的行为; 所述的接口用于实现验证平台与SM2模块数据之间的交互; 在顶层中实例化SM2模块和 接口后, 通过参数调用的方式即可进行数据交互; 所述序列发生器是序列和驱动器之间通信的媒介, 驱动器通过向序列发生器发送请 求, 序列发生器就驱动序列获得事。
5、务类, 并且发给驱动器; 所述序列是激励产生的源头, 只需在测试用例中将不同的序列设置为序列发生器的默 认序列, 就可以产生不同的激励; 所述验证环境, 用于将验证平台中所有组件封装起来, 当运行不同的测试用例时, 只需 在不同的测试用例实例化此验证环境, 就可以实现对所有固定不变的组件的实例化, 同时 也负责验证平台中组件的实例化以及组件之间的连接; 所述覆盖率收集器接收来自输入监视器的事务类, 通过功能覆盖组和采样函数来完成 功能覆盖点的覆盖率的统计, 收集数据或表达式所有出现过的值或改变的情况; 所述测试用例负责配置验证平台, 通过指定不同的序列可以产生出不同的测试用例, 不同的测试用例。
6、中可以实现针对每个功能实现具体的测试项, 从而全面验证SM2模块, 从而 发现SM2模块中可能出现的问题; 所述寄存器模型, 通过后门访问操作读取SM2模块中各类寄存器的值, 通过读取SM2模 块状态寄存器的值以判断SM2模块运算是否完成; 所述顶层位于整个验证平台的最顶层, 通过调用和导入的方式把验证平台所需要的 SM2模块代码文件和UVM组件代码文件添加到顶层中; 用于产生时钟信号, 声明并实例化接 口、 验证平台、 SM2模块, 连接验证平台和SM2模块、 初始化, 以及导入参考模型的代码。 2.一种基于UVM的SM2模块验证平台的验证方法, 其特征在于, 包括以下步骤: 步骤1, 在顶。
7、层中添加和导入UVM组件代码文件和SM2模块代码文件; 初始化验证平台和 SM2模块, 包括复位验证平台和SM2模块, 实例化UVM的全部组件、 接口和SM2模块, 连接验证 平台和SM2模块; 启动验证平台; 步骤2, 驱动器向序列发生器发送获取事务类的请求, 序列发生器就动序列得到事务 类, 并且发给驱动器, 然后直接通过调用接口传送到SM2模块之中, 最后驱动SM2模块; 步骤3, SM2模块计算完成事务类数据后把计算得到的结果通过接口传回给输出监视 权利要求书 1/2 页 2 CN 110046387 A 2 器, 从而转变为事务类进行保存, 然后把事务类通过FIFO传送给参考模型; 。
8、步骤4, 参考模型把从输入监视器获取的事务类通过模拟SM2模块功能的方式进行处 理, 得到预期的输出, 然后把从输出监视器得到的数据与预期的输出进行对比, 得出验证结 果; 步骤5, 根据SM2模块的功能特性列举所需要收集的覆盖点, 指定每一个覆盖点所采样 到的数据范围, 把相同类型的覆盖点建立成一个功能覆盖组, 根据SM2模块不同的运算模式 可以建立成多个不同的功能覆盖组, 然后把所有的功能覆盖组与验证平台连接起来进行数 据采样, 最后输出覆盖率报告; 通过查看覆盖率报告修改测试用例, 以验证SM2模块功能的 完整性。 3.如权利要求2所述的基于UVM的SM2模块验证平台的验证方法, 其特征。
9、在于, 步骤2中 的事务类是指SM2模块中的6个输入变量, 并且已经进行了随机化。 4.如权利要求2所述的基于UVM的SM2模块验证平台的验证方法, 其特征在于, 所述步骤 3中, 验证平台的驱动器和参考模型在SM2模块计算完成前都需要进行无操作等待, 通过寄 存器模型的后门访问操作读取SM2模块的状态寄存器的值, 直到读取到的状态寄存器的值 为结束标志所对应的值时, SM2模块计算结束。 权利要求书 2/2 页 3 CN 110046387 A 3 一种基于UVM的SM2模块验证平台及验证方法 技术领域 0001 本发明涉及密码的功能验证技术领域, 具体涉及一种基于UVM的SM2模块验证平台。
10、 及验证方法。 背景技术 0002 随着集成电路制造技术的发展、 芯片集成度的不断提高, 芯片的规模已经从10年 前的万门级发展到如今的数百万门级, 而芯片上所能够实现的功能复杂度甚至超越了摩尔 定律所预言的集成度的发展速度。 由于复杂性的增加, 导致验证工作占据整个设计周期的 大部分时间, 比重甚至可以达到70。 0003 传统的验证方法是利用verilog语言搭建验证平台, 结构上缺乏层次化设计, 不同 项目间的重用性差, 因此不利于工程师维护和重用。 传统验证方法的诸多缺陷已经不能满 足当前的设计能力, 高级验证方法学的出现正是为了弥补设计和验证之间的鸿沟。 0004 高级验证方法学引入。
11、了一种新的语言System Verilog(SV)。 SV全面综合了 RTL设计、 测试平台、 断言和覆盖率, 同时SV能够和芯片验证方法学结合在一起。 使用验证方 法学可以大大增强模块复用性, 提高芯片开发效率, 缩短开发周期。 0005 目前基于SystemVerilog的验证方法学主要有三种: VMM、 OVM和UVM。 其中UVM几乎 完全继承了OVM, 同时又采纳了Synopsys在VMM中的寄存器解决方案RAL。 UVM继承了OVM和 VMM的优点, 克服了各自的缺点, 代表了验证方法学的发展方向, 已成为工业界主流的验证 平台。 0006 过去在验证SM2模块的过程中, 主要通过。
12、verilog编写testbench的方法, 生成各种 不同的测试向量也比较麻烦, 所以验证SM2模块的效率低且无法重用。 0007 采用UVM高级验证方法学搭建的验证平台结构清晰, 同时具有很好的移植性和可 重用性, 所以如何利用UVM的思想与架构来搭建SM2模块的验证平台成为了一个待解决的问 题。 发明内容 0008 本发明提供一种基于UVM的SM2模块验证平台及验证方法, 克服现有技术存在的缺 陷, 这种基于UVM验证方法学的验证方法通过系统级硬件描述语言SystemVerilog为SM2模 块搭建一个具有自动化、 层次化结构、 可重用性、 可移植性、 随机约束等属性的高效验证平 台。 。
13、0009 为了实现上述任务, 本发明采用以下技术方案: 0010 一种基于UVM的SM2模块验证平台, 包括: 事务类、 驱动器、 输入监视器、 输出监视 器、 参考模型、 接口、 序列发生器、 序列、 验证环境、 覆盖率收集器、 测试用例、 寄存器模型、 顶 层以及待测的SM2模块, 其中: 0011 所述事务类封装了SM2模块的全部输入数据和输出数据, 包括SM2模块的6个输入 变量和2个输出变量, 其中6个输入变量均被设为随机变量, 从而保证输入变量初始化的随 说明书 1/6 页 4 CN 110046387 A 4 机性; 0012 所述驱动器通过序列发生器获得事务类, 然后通过接口传。
14、送到SM2模块之中, 以驱 动SM2模块; 0013 所述输入监视器通过接口获得事务类, 然后通过FIFO或者端口port传给参考模型 和覆盖率收集器; 0014 所述输出监视器用于检测SM2模块的输出, 等SM2模块计算结束后, 通过接口把输 出端的数据放入事务类中, 然后把事务类通过FIFO传送给参考模型中进行比对, 验证SM2模 块是否正确输出数据; 0015 所述参考模型用于模拟SM2模块的行为; 0016 所述的接口用于实现验证平台与SM2模块数据之间的交互; 在顶层中实例化SM2模 块和接口后, 通过参数调用的方式即可进行数据交互; 0017 所述序列发生器是序列和驱动器之间通信的。
15、媒介, 驱动器通过向序列发生器发送 请求, 序列发生器就驱动序列获得事务类, 并且发给驱动器; 0018 所述序列是激励产生的源头, 只需在测试用例中将不同的序列设置为序列发生器 的默认序列, 就可以产生不同的激励; 0019 所述验证环境, 用于将验证平台中所有组件封装起来, 当运行不同的测试用例时, 只需在不同的测试用例实例化此验证环境, 就可以实现对所有固定不变的组件的实例化, 同时也负责验证平台中组件的实例化以及组件之间的连接; 0020 所述覆盖率收集器接收来自输入监视器的事务类, 通过功能覆盖组和采样函数来 完成功能覆盖点的覆盖率的统计, 收集数据或表达式所有出现过的值或改变的情况。
16、; 0021 所述测试用例负责配置验证平台, 通过指定不同的序列可以产生出不同的测试用 例, 不同的测试用例中可以实现针对每个功能实现具体的测试项, 从而全面验证SM2模块, 从而发现SM2模块中可能出现的问题; 0022 所述寄存器模型, 通过后门访问操作读取SM2模块中各类寄存器的值, 通过读取 SM2模块状态寄存器的值以判断SM2模块运算是否完成; 0023 所述顶层位于整个验证平台的最顶层, 通过调用和导入的方式把验证平台所需要 的SM2模块代码文件和UVM组件代码文件添加到顶层中; 用于产生时钟信号, 声明并实例化 接口、 验证平台、 SM2模块, 连接验证平台和SM2模块、 初始化。
17、, 以及导入参考模型的代码。 0024 一种基于UVM的SM2模块验证平台的验证方法, 包括以下步骤: 0025 步骤1, 在顶层中添加和导入UVM组件代码文件和SM2模块代码文件; 初始化验证平 台和SM2模块, 包括复位验证平台和SM2模块, 实例化UVM的全部组件、 接口和SM2模块, 连接 验证平台和SM2模块; 启动验证平台; 0026 步骤2, 驱动器向序列发生器发送获取事务类的请求, 序列发生器就动序列得到事 务类, 并且发给驱动器, 然后直接通过调用接口传送到SM2模块之中, 最后驱动SM2模块; 0027 步骤3, SM2模块计算完成事务类数据后把计算得到的结果通过接口传回给。
18、输出监 视器, 从而转变为事务类进行保存, 然后把事务类通过FIFO传送给参考模型; 0028 步骤4, 参考模型把从输入监视器获取的事务类通过模拟SM2模块功能的方式进行 处理, 得到预期的输出, 然后把从输出监视器得到的数据与预期的输出进行对比, 得出验证 结果; 说明书 2/6 页 5 CN 110046387 A 5 0029 步骤5, 根据SM2模块的功能特性列举所需要收集的覆盖点, 指定每一个覆盖点所 采样到的数据范围, 把相同类型的覆盖点建立成一个功能覆盖组, 根据SM2模块不同的运算 模式可以建立成多个不同的功能覆盖组, 然后把所有的功能覆盖组与验证平台连接起来进 行数据采样,。
19、 最后输出覆盖率报告; 通过查看覆盖率报告修改测试用例, 以验证SM2模块功 能的完整性。 0030 进一步地, 步骤2中的事务类是指SM2模块中的6个输入变量, 并且已经进行了随机 化。 0031 进一步地, 所述步骤3中, 验证平台的驱动器和参考模型在SM2模块计算完成前都 需要进行无操作等待, 通过寄存器模型的后门访问操作读取SM2模块的状态寄存器的值, 直 到读取到的状态寄存器的值为结束标志所对应的值时, SM2模块计算结束。 0032 本发明具有以下技术特点: 0033 1.与传统的采用verilog搭建的验证平台相比, 本发明采用的基于UVM的SM2模块 验证平台的验证效率更高、 。
20、层次化结构更明显, 可重用性和可移植性更强, 便于移植到其他 项目的验证平台中去。 0034 2.本发明的验证方法, 运用UVM验证方法学搭建一个层次化、 高效率、 可重用的验 证平台, 通过产生不同的测试用例, 采用完全随机化和最值的测试方法, 可以遍历SM2模块 所有的功能模式, 另外通过覆盖率模型收集并监测覆盖率, 从而大大提高验证的效率和验 证的可信程度。 附图说明 0035 图1为本发明的验证平台的结构图; 0036 图2为本发明的验证方法的流程图。 具体实施方式 0037 本发明提供了一种基于UVM的SM2模块验证平台, 如图1所示, 该平台由多个UVM组 件以及待测模块(DUT)。
21、构成, 所述的UVM组件包括事务类(transaction)、 驱动器(driver)、 输入监视器(in_monitor)、 输出监视器(out_monitor)、 参考模型(reference model)、 接口 (interface)、 序列发生器(sequencer)、 序列(sequence)、 验证环境(env)、 覆盖率收集器 (coverage)、 测试用例(testcase)、 寄存器模型(register model)、 顶层(top_SM2), UVM组 件之间通过端口port和FIFO相连或者通信, 各模块的具体功能如下: 0038 所述待测模块(DUT), 为挂载在。
22、AHB总线上的SM2模块, 其中包含了控制寄存器地 址、 状态寄存器地址、 输入输出地址等信息。 0039 所述事务类(transaction)是由uvm_sequence_item类派生而来的, 事务类 (transaction)是指封装了一定信息的一个类, 本验证平台中的事务类(transaction)就是 封装了SM2模块的全部输入数据和输出数据, 包括SM2模块的6个输入变量和2个输出变量, 其中6个输入变量均被设为随机变量, 在它们前面加上了关键字rand, 从而保证输入变量初 始化的随机性。 0040 所述驱动器(driver)是派生自uvm_driver类, 驱动器(driver。
23、)通过序列发生器 (sequencer)获得事务类(transaction), 然后通过接口(interface)传送到SM2模块之中, 说明书 3/6 页 6 CN 110046387 A 6 驱动SM2模块。 0041 所述输入监视器(in_monitor)是派生自uvm_monitor类, 输入监视器的功能是通 过接口(interface)获得事务类(transaction), 然后通过FIFO或者端口port传给参考模型 (reference model)和覆盖率收集器(coverage)。 0042 所述输出监视器(out_monitor)是派生自uvm_monitor类, 用于检测。
24、SM2模块的输 出, 等SM2模块计算结束后, 通过接口(interface)把输出端的有效数据放入事务类中, 然后 把事务类(transaction)通过FIFO传送给参考模型(reference model)中进行比对, 验证 SM2模块是否正确输出数据。 0043 所述参考模型(reference model)是UVM验证平台中非常重要的一部分, 它是模拟 SM2模块(DUT)行为的模型, 通常采用高级编程语言(C、 C+或者MATLAB等), 可以快速模拟 SM2模块的功能。 在本验证平台中是采用C+编写函数, 通过DPI接口, SystemVerilog可以很 方便的连接C+代码。 。
25、在该平台中主要实现的函数有sm2_model( ), KECCPoint( ), sm2_ addby(), sm2_subby(), sm2_mult(), sm2_div()以及sm2_revisediv()。 0044 所述接口(interface)是验证平台与SM2模块数据交互的桥梁; 因为SM2模块(DUT) 的代码是用Verilog语言编写, 属于静态实例; UVM验证平台是在SystemVerilog语言基础上 的抽象对象, 属于动态实例, 两种事物无法直接相连, 所以验证平台引入接口(interface); 在顶层(top_SM2)中实例化DUT和接口(interface)后,。
26、 就可以直接通过参数调用的方式即 可进行数据交互。 0045 所述序列发生器(sequencer)派生自uvm_sequencer类, 是序列(sequence)和驱动 器(driver)之间通信的媒介, 驱动器(driver)通过向序列发生器(sequencer)发送请求, 序 列发生器(sequencer)就驱动序列(sequence)获得事务类(transaction), 并且发给驱动器 (driver)。 0046 所述序列(sequence)是由uvm_sequence类派生出来的, 序列(sequence)是激励产 生的源头, 只需在测试用例(testcase)中将不同的序列(se。
27、quence)设置为序列发生器 (sequencer)的默认序列(default sequence), 就可以产生不同的激励。 本方案中设置的激 励有随机激励、 部分最小值激励、 部分最大值激励和全部最小值、 全部最大值激励等, 使测 试具有完备性。 0047 所述验证环境(env)是由uvm_env类派生出来的, 用于把UVM验证平台中所有固定 不变的组件封装起来, 类似一个容器; 当运行不同的测试用例(testcase)时, 只需在不同的 测试用例(testcase)实例化此验证环境(env), 就可以实现对所有所有固定不变的组件的 实例化, 同时也负责验证平台中组件的实例化以及组件之间的。
28、连接。 本方案的验证平台中 验证环境(env)实例化的组件有驱动器(driver)、 输入监视器(in_monitor)、 输出监视器 (out_monitor)、 参考模型(reference model)、 接口(interface)、 序列发生器 (sequencer)、 寄存器模型(register model)和覆盖率收集器(coverage)。 0048 所述覆盖率收集器(coverage)是由uvm_subscriber类派生出来的, 通过功能覆盖 组coveragegroup和采样函数sample()来完成功能覆盖点的覆盖率的统计, 收集数据或表 达式所有出现过的值或改变的情况。
29、。 本方案中覆盖率收集器(coverage)接收来自输入监视 器(in_monitor)的事务类(transaction), 在覆盖率收集器(coverage)中对所有的输入变 量建立功能覆盖组(covergroup), 覆盖组(covergroup)里面包含着很多仓(bin)和覆盖点 说明书 4/6 页 7 CN 110046387 A 7 (coverpoint), 然后使用sample函数进行数据采样, 最后输出功能覆盖率报告。 0049 所述测试用例(testcase)是派生自uvm_test类, 主要负责配置验证平台, 通过指 定不同的序列(sequence)可以产生出不同的测试用例。
30、, 不同的测试用例(testcase)中可以 实现针对每个功能实现具体的测试项, 从而全面验证SM2模块, 从而发现SM2模块中可能出 现的问题; 0050 所述寄存器模型(register model)是派生自uvm_reg类, 首先在测试用例 (testcase)中设置好该寄存器模型的根路径, 再利用寄存器模型(register model)通过后 门访问操作可以读取SM2模块中各类寄存器的值, 通过读取SM2模块状态寄存器的值可以判 断SM2模块运算是否完成。 0051 所述顶层(top_SM2)位于整个验证平台的最顶层, 通过调用和导入的方式把验证 平台所需要的SM2模块代码文件(.v。
31、)和UVM组件代码文件(.sv)添加到顶层中; 其主要用来 产生时钟信号, 声明并实例化接口、 验证平台、 SM2模块, 连接验证平台和SM2模块以及初始 化等工作, 并且通过DPI接口导入参考模型的代码(C+的函数)。 0052 在上述技术方案的基础上, 本发明进一步提供一种基于上述验证平台的验证方 法, 步骤如下: 0053 步骤1, 在顶层(top_SM2)中添加和导入所用到的UVM组件代码文件(.sv)和SM2模 块代码文件(.v); 接着初始化验证平台和SM2模块, 包括复位验证平台和SM2模块, 实例化 UVM的全部组件、 接口和SM2模块, 连接验证平台和SM2模块; 最后通过r。
32、un_test语句启动整 个UVM验证平台。 0054 步骤2 , 驱动器 (driver)向序列发生器 (sequencer) 发送获取事务类 (transaction)的请求, 序列发生器(sequencer)就驱动序列(sequence)得到事务类 (transaction), 并且发给驱动器(driver), 然后直接通过调用接口(interface)传送到SM2 模块之中, 最后驱动SM2模块。 0055 步骤3, SM2模块计算完成事务类数据后把计算得到的结果通过接口(interface) 传回给输出监视器(out_monitor), 从而转变为事务类(transaction)进行。
33、保存, 然后把事 务类(transaction)通过FIFO传送给参考模型(reference model)。 0056 步骤4, 参考模型(reference model)把从输入监视器(in_monitor)获取的事务类 (transaction)通过(C+的模型函数)模拟SM2模块功能的方式进行处理, 得到预期的输出, 然后把从输出监视器(out_monitor)得到的数据(这里的数据是通过第3步的操作得到的 SM2模块计算后的结果)与预期的输出进行对比, 得出验证结果。 0057 步骤5, 根据SM2模块的功能特性列举所需要收集的覆盖点(coverpoint), 指定每 一个覆盖点所采。
34、样到的数据范围, 把相同类型的覆盖点(coverpoint)建立成一个功能覆盖 组(covergroup), 根据SM2模块不同的运算模式可以建立成多个不同的功能覆盖组 (covergroup), 然后把所有的功能覆盖组(covergroup)与验证平台连接起来进行数据采 样, 最后输出覆盖率报告; 通过查看覆盖率报告可以及时修改测试用例, 以验证SM2模块功 能的完整性。 0058 在本实施例中, 步骤2中的事务类(transaction)是指SM2模块中的6个输入变量, 并且已经进行了随机化, 分别是: rand bit255:0 x1; rand bit255:0 x2; rand bi。
35、t255: 0y1; rand bit255:0y2; rand bit255:0k; rand bit31:0mode。 说明书 5/6 页 8 CN 110046387 A 8 0059 所述步骤3中, 验证平台的驱动器(driver)和参考模型(reference model)在SM2 模块计算完成前都需要进行无操作等待, 通过寄存器模型的后门访问操作读取SM2模块的 状态寄存器的值(挂载在AHB总线上的SM2模块的状态寄存器的地址已经定义好), 直到读取 到的状态寄存器的值为结束标志所对应的值时, SM2模块计算结束。 0060 所述步骤4中, C+的模型函数是在顶层(top_SM2)。
36、通过DPI接口导入到验证平台, 然后在参考模型中调用: importDPI-Ccontext function void sm2_model(input bit 31:0c_mode,input bit255:0c_x1,input bit255:0c_x2,input bit255:0c_y1, input bit255:0c_y2,input bit255:0c_k,output bit255:0c_x3,output bit 255:0c_y3); 该C+函数能够计算SM2模块全部运算模式的结果。 其中: 0061 importDPI-Ccontext function void sm2。
37、_model指的是通过DPI接口在验证平 台中导入C+的sm2_model()函数; input bit31:0指的是位宽为32位的输入变量, input bit255:0指的是位宽为256位的输入变量, output bit255:0指的是位宽为256位的输 出变量; c_x1,c_x2,c_y1,c_y2,c_k,c_mode,c_x3,c_y3分别对应于SM2模块6个输入变量以 及2个输出变量: x1、 x2、 y1、 y2、 k、 mode、 x3、 y3。 该C+函数与SM2模块实现的功能完全一样, 只是实现方式不一样, 因此两者的输入输出变量要保持一致。 0062 其中x1、 x2、 y1、 y2、 k、 mode分别表示SM2模块中点运算和模运算的输入变量、 点运 算和模运算的输入变量、 点运算的输入变量、 点运算的输入变量、 点运算的输入变量以及运 算类型的输入变量; x3、 y3分别表示SM2模块中点运算的输出变量、 点运算和模运算的输出 变量。 点运算和模运算指的是SM2模块中所具有的运算模式, 包括点加、 点乘和模加、 模减、 模乘与模逆运算。 说明书 6/6 页 9 CN 110046387 A 9 图1 说明书附图 1/2 页 10 CN 110046387 A 10 图2 说明书附图 2/2 页 11 CN 110046387 A 11 。
- 内容关键字: 基于 UVM SM2 模块 验证 平台 方法
基于捕获模块验证的载波防错锁方法、装置及数据接收机.pdf
浅层气浮设备.pdf
安全防护装置及冲床.pdf
市电路灯灯杆结构及其LED路灯.pdf
激光复合清洗装置.pdf
具有防撞功能的海洋环境监测设备安装装置.pdf
通讯线缆盘卷装置.pdf
防尘式EVA塑料粒破碎机.pdf
晶圆检测的承载治具.pdf
多级滑杆机构的太阳能板角度调节装置.pdf
新型锚索注浆装置.pdf
便于定长控制的不锈钢激光切割机.pdf
用于输配电线路仿线飞行的激光雷达.pdf
单主梁吊钩门式起重机.pdf
具有防尘功能的振动电机.pdf
矿用单轨式吊载人车.pdf
水生态环境治理的污水回用设备.pdf
条装食品装袋机的条装食品组输送机构.pdf
条装食品的堆叠机.pdf
建筑施工振捣装置.pdf
节能型白法沥青烟净化系统.pdf
可调节取样位置的取样器.pdf
管柱筒调节支架机加工定位工装.pdf
高压厚壁球壳外壁裂纹应力强度因子的计算方法.pdf
电极组件及其制备方法、电池单体、电池和用电装置.pdf
混凝土喷淋养护装置.pdf
地坪研磨机齿轮箱.pdf
智能充电桩用车牌识别系统及方法.pdf
基于深度相机的矩形托盘孔识别方法及系统.pdf
免烧砖及其制备方法.pdf
高抗风强度的三角通讯塔结构.pdf
电传改装系统、其安装方法及车辆.pdf
一种升降式旋转室外消火栓.pdf
框架结构T型连接柱.pdf
防静电地板吸板器.pdf
一种建筑用箱体或井口预留孔洞活动模具.pdf
速成拉建房屋.pdf
预制桥面板精轧螺纹钢筋弧形连接构造.pdf
一种内固定式伸缩门滑行导轨及伸缩门.pdf
多用途封井器.pdf
一种新型圆弧建筑模板紧固件.pdf
一种超实木防水组合踢脚线.pdf
电气柜前门板门锁装置.pdf
双人正杆器.pdf
一种纳米铝塑复合板.pdf
强磁打捞器.pdf
一种基于无刷直流电机的环卫车电动扫盘系统.pdf
一种可调节型门铰链.pdf
一种用于基桩竖向抗压静载试验的船筏式试验装置.pdf
免贴墙砖.pdf
一种聚氨酯仿石材防火保温装饰复合板.pdf