一种加解密算法模块仿真验证系统及方法技术方案

本文公开了一种加解密算法模块仿真验证系统及方法，验证系统主要包括：激励生成器、驱动器、激励监测器、输出监测器、覆盖率模型和检查器等。激励生成器产生随机化的测试激励；驱动器将产生的激励打包传递给系统内的其它组件；激励监测器和输出监测器用于监测相关组件的内部状态；覆盖率模型根据输入的激励进行覆盖率统计；检查器自动比对参考模型和加解密算法模块(DUT模块)的运算结果。本发明专利技术验证方法由三部分组成，每组初始激励经由DUT模块和参考模型加密后进行第一次比对，随后将加密结果再由DUT模块和参考模型解密后进行第二次对比，最后将解密结果与初始激励进行第三次比对，以确保DUT模块功能验证的正确性，有效提高验证的效率和完备性。验证的效率和完备性。验证的效率和完备性。

【技术实现步骤摘要】
一种加解密算法模块仿真验证系统及方法


[0001]本专利技术涉及加解密算法验证
，更具体地，涉及一种加解密算法模块仿真验证系统及方法。
技术背景
[0002]中国集成电路产业正在进入新的发展阶段，随着先进工艺的不断演进，芯片设计日趋复杂，芯片系统复杂度和芯片系统集成度日趋增加，对于芯片功能验证提出了新的要求，而功能验证在芯片全流程中占据着重要部分，使得对提高芯片功能验证的效率和完备性提出了新的技术要求。
[0003]随着信息时代的发展，加解密算法是保障数据信息安全的核心技术，加解密算法日益复杂，因此加解密功能验证的重要性也日益显著，由于加解密算法模块的密钥长度、密钥、明文和工作模式等组合的多样化，验证复杂度也不断增加，验证时需要遍历所有可能的使用场景，才能确保加解密算法模块被充分验证。
[0004]基于SystemVerilog搭建的验证系统在验证方面具有独特的语言优势，可满足更高层面的验证需求。
[0005]通常对于加解密算法模块的验证，一般由加密和解密两个独立的验证系统分别完成，并且每组激励只能单独验证DUT模本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种加解密算法模块仿真验证方法，其特征在于，每组激励由DUT模块和参考模型加密运算后进行第一次对比，将加密结果再由DUT模块和参考模型解密运算后进行第二次对比，最后将DUT模块解密结果与初始激励进行第三次比对，对DUT模块进行验证。2.一种加解密算法模块仿真验证系统，用于实现权利要求1所述的加解密算法模块仿真验证方法，其特征在于，所述加解密算法模块仿真验证系统的组件包括：激励生成器、驱动器、激励监测器、参考模型、输出监测器、模式配置器、覆盖率模型和检查器，其中：所述激励生成器产生符合加解密算法模块要求的随机化测试激励；所述驱动器会将激励生成器生成的有效激励传输给激励监测器和DUT模块；所述激励监测器会把激励传输给参考模型和覆盖率模型；所述参考模型由高级编程语言搭建，其行为与加解密算法模块行为一致；所述输出监测器用于监测加解密算法模块的内部状态，并将运算结果送给检查器；所述模式配置器会自动更改上一次的加密或解密模式，将下一次计算模式配置成与之相反；所述覆盖率模型搜集激励数据，计算验证功能点的覆盖率；所述检查器用以检查加解密算法模块功能的正确性。3.根据权利要求1所述的一种加解密算法模块仿真验证方法，其特征在于，每生成一组有效激励，会将该激励分别送给DUT模块和参考模型进行加密运...

【专利技术属性】
技术研发人员：汤蔚霞，顾庆，
申请(专利权)人：上海华虹集成电路有限责任公司，
类型：发明
国别省市：