[发明专利]一种基于递归下降算法的RTL级硬件木马检测方法

摘要

本发明涉及一种基于递归下降算法的RTL级硬件木马检测方法，该检测方法是根据木马模型设计RTL代码规则，指定词语类型，包括模块声明词、模块结束声明词、信号声明词、逻辑功能块声明词、中间词和终结词，对RTL文件采用递归下降算法进行分析，找到符合规则的木马模块。本发明的检测方法是针对指定类型的RTL代码级硬件木马，相对于传统的在芯片上检测硬件木马的方法，大大缩短了试验时间，能够快速有效的检测出RTL代码级硬件木马，并准确定位木马所在位置，提高了工作效率。

主权项

1.一种基于递归下降算法的RTL级硬件木马检测方法，其特征在于，所述检测方法是根据木马模型设计RTL代码规则，指定词语类型，包括模块声明词、模块结束声明词、信号声明词、逻辑功能块声明词、中间词和终结词，对RTL文件采用递归下降算法进行分析，找到符合规则的木马模块；所述检测方法的具体步骤如下：(1)从RTL文件第一行开始按行读取内容，对读取的内容取词进行分析，分析完成后，返回行位置，再读取下一行语句，对读取的内容取词进行分析，直到读完RTL文件；其中取词进行分析是指对词语类型进行判断，当词为模块声明词时，进入模块分析；(2)模块分析时，读一行语句，对读取的内容取词进行分析，分析完后，返回行位置，再读取下一行语句，对读取的内容取词进行分析，重复操作直到词为模块结束声明词，结束当前模块分析循环；其中取词进行分析是指对词语根据词类型进行不同处理，若词为信号声明词，则进入构建信号集合方法，若词为逻辑功能块声明词，则进入逻辑功能分析，若词为模块结束声明词，则结束当前模块分析循环；(3)逻辑功能分析时，读一行语句，对读取的内容取词进行分析，当词为中间词时，继续往下按行读语句、取词，直到获取的词为终结词；获取的词为终结词时，进入终结词分析模块，若满足是木马条件，终结词所在RTL代码模块是木马模块，否则终结词所在RTL代码模块不是木马模块。