[发明专利]一种RTL硬件木马测试向量的生成方法

说明书

本发明公开了一种RTL硬件木马测试向量的生成方法，主要包括生成控制流程图；并发符号执行；可满足性求解和生成测试向量。本发明采用静态分析Veri log代码的方法，采用多线程并发技术实现Veri log代码的并发符号执行，从而达到快速生成高路径覆盖率的测试向量的目的。

技术领域

本发明涉及集成电路测试领域，具体涉及到一种RTL硬件木马测试向量的生成方法，可针对条件触发型硬件木马的特征快速生成具有高路径覆盖率、并包含可激活条件触发型硬件木马的测试向量。

背景技术

在数字集成电路设计中，不同的设计环节对应着不同抽象层次的设计。抽象程度从高到低，分别是功能规范、算法级/微体系结构级设计、寄存器传输级设计(register-transfer level,RTL)、门级(gate level)设计和物理级设计。硬件木马可以分布在不同的抽象层次上，主要有系统级、行为描述级、寄存器传输级、门级、晶体管级和物理级。N Jacob等人在文献“Hardware Trojans_current challenges and approaches”中分析了目前硬件木马可能插入的阶段，已经提出的硬件木马较多的集中在功能设计阶段(寄存器传输级)。

目前的硬件木马检测技术中，只有很少的文献对功能设计阶段和物理设计阶段(门级)进行检测，绝大数的文献都集中在制造阶段的检测；功能设计阶段检测的技术使用的是形式化验证技术，物理设计阶段使用的功能分析，制造阶段使用的检测技术主要是侧信道分析和结构修改。侧信道分析是一种非破坏性的检测技术，主要分析电路中的时序、功率、电磁、热等信号，根据与黄金模板的比对发现木马。旁路分析能有效检测出较大规模的硬件木马，但容易受到工艺变量和各种噪声的影响，难以检测出小规模硬件木马。针对门级安全检测的门级信息流技术对原始门级网表生成包含信息流的门级信息流逻辑的门级网表，但是其新生成的门级网表复杂度与原始门级网表相比，高了近2^n倍，大大限制了其在实际中的应用。

寄存器传输级的硬件木马检测，近年来有一些新的方法提出。倪林等在文献“基于特征匹配的IP软核硬件木马检测”中提出一种硬件木马检查方法，该方法通过分析RTL级代码书写规则，从硬件木马在RTL级IP软核中实现的角度出发，基于Trust-Hub构建硬件木马特征识别库，通过分析硬件木马典型的逻辑结构和行为特征，对硬件木马特征库和待测IP软核进行逻辑抽象，进而完成IP软核硬件木马识别。特征匹配的方法需根据大量的硬件木马样板，创建特征库，然后做匹配。这种源自软件安全测试的方法无法发现新的恶意代码。候波等在文献“基于测试向量的硬件木马检测方法及系统”中了一种方法，通过获取集成电路中各电路节点的翻转信息和覆盖信息，将翻转信息和覆盖信息分别满足预设低翻转条件和预设低覆盖条件的电路节点选取为候选木马节点，根据候选木马节点的信息从测试向量中选取最终测试向量。

从这些文献可以分析出，主要的寄存器传输级安全检测方法集中在特征匹配、形式化验证、测试生成方面。形式化验证方法则在应对大规模复杂设计时仍然有很大的分析难度。测试生成方法仍然是一种非常重要的检测手段。由于采用穷举的方式对所有的输入值进行检测是不现实的，因此测试生成方法的关键问题在于测试向量空间不断增大的情况下，如何有效地生成测试向量值。因此寄存器传输级的安全检测，与测试生成方法密切相关。VV Acharya等人在文献“Branch Guided Functional Test Generation at the RTL”中采用了符号执行的方法对RTL级的硬件描述语言进行了分析。其基本思想是将verilog代码转换成C/C++，然后使用相对较为成熟的C/C++语言的符号执行方法进行分析，然后再将分析生成的测试向量重新用回到verilog代码中。这种方法没有直接对verilog代码进行分析，采用代码转换的方式，难以做到和原始verilog设计的完全一致。

发明内容