[发明专利]对电路的硬件木马进行检测的方法、系统及芯片

权利要求书

1.一种对电路的硬件木马进行检测的方法，其特征在于，包括：

当存在内在逻辑关系的低活性节点达到稀有状态时，片上自检测单元在线监测低活性节点之间的内在逻辑关系是否发生变化，若该内在逻辑关系发生变化，则认为存在硬件木马，其中，该稀有状态为低活性节点达到逻辑0或逻辑1或翻转的状态；

其中，所述低活性节点存在内在逻辑关系的情况包括：当第一低活性节点为高电平时，第二低活性节点仅为高电平，则认定第一低活性节点到第二低活性节点的内在逻辑关系为1→1；当第一低活性节点为高电平时，第二低活性节点仅为低电平，则认定第一低活性节点到第二低活性节点的内在逻辑关系为1→0；当第一低活性节点为低电平时，第二低活性节点仅为高电平，则认定第一低活性节点到第二低活性节点的内在逻辑关系为0→1；当第一低活性节点为低电平时，第二低活性节点仅为低电平，则认定第一低活性节点到第二低活性节点的内在逻辑关系为0→0；且

存在内在逻辑关系的两个低活性节点之间植入的片上自检测单元包括多路选择器，当多路选择器的使能信号EN为高电平时，输出端S的电平状态跟随所述多路选择器的输入端1变化，当EN为低电平时，输出端S的电平状态跟随所述多路选择器的输入端0变化。

2.如权利要求1所述的对电路的硬件木马进行检测的方法，其特征在于，所述检测方法还包括：

对原始电路搭建仿真验证平台，随机生成一组测试向量，激励原始电路正常工作，并保留仿真过程的文件；

分析所述仿真过程的文件，根据原始电路各节点的翻转情况与翻转概率确定低活性节点；

分析各低活性节点是否存在内在逻辑关系；

将存在内在逻辑关系的低活性节点之间作为片上自检测单元的植入位置并在该植入位置植入片上自检测单元。

3.如权利要求2所述的对电路的硬件木马进行检测的方法，其特征在于，所述根据原始电路各节点的翻转情况与翻转概率确定低活性节点包括：

剔除不动节点和重复节点，该不动节点包括电源节点和地节点；以及

设置临界翻转概率阈值P_th，在剔除后的剩余节点中翻转概率小于P_th的节点被确定为低活性节点。

4.如权利要求1所述的对电路的硬件木马进行检测的方法，其特征在于，当第一低活性节点到第二低活性节点的内在逻辑关系为1→1时，在两个低活性节点之间植入的片上自检测单元是由一个多路选择器和一个与门组成的电路，所述第一低活性节点和所述与门的一个输入端相接，所述第二低活性节点和所述与门的另一输入端相接，所述与门的输出端与所述多路选择器的输入端1相接，所述多路选择器的输入端0接地，所述多路选择器的使能信号EN与第一低活性节点相接。

5.如权利要求1所述的对电路的硬件木马进行检测的方法，其特征在于，当第一低活性节点到第二低活性节点的内在逻辑关系为1→0时，在两个低活性节点之间植入的片上自检测单元由一个多路选择器、一个与门以及一个非门组成，所述第二低活性节点与所述非门的输入端相接，所述非门的输出端和所述与门的一个输入端相接，所述第一低活性节点和所述与门的另一个输入端相接，所述与门的输出端与所述多路选择器的输入端0相接，所述多路选择器的输入端1接地，所述多路选择器的使能信号EN与所述第一低活性节点相接。

6.如权利要求1所述的对电路的硬件木马进行检测的方法，其特征在于，当第一低活性节点到第二低活性节点的内在逻辑关系为0→1时，在两个低活性节点之间植入的片上自检测单元由一个多路选择器、一个与门和一个非门组成，所述第一低活性节点与所述非门的输入端相接，所述非门的输出端和所述与门的一个输入端相接，所述第二低活性节点和所述与门的另一个输入端相接，所述与门的输出与所述多路选择器的输入端0相接，所述多路选择器的输入端1接地，所述多路选择器的使能信号EN与所述第一低活性节点相接。