指定逻辑的电路最小项扰动算法
A Stable Perturbation Circuit Minterm Generation Algorithm with Specific Logic
-
摘要: 针对现有的基于最小项的伪装算法不能稳定地生成最小项扰动电路,而且不能控制指定逻辑,使得该技术难以在实际电路中使用的问题,提出了一种最小项扰动算法,通过引入原始输入信号并缩小受逻辑门影响的最小范围,快速找到单个最小项扰动.同时,可以任意设计特定逻辑:特定输出、特定门和特定最小项.首先,将多输出电路分成多个单输出电路并指定任何输出;然后可以指定电路的任何门,并使用敏化和FAN技术获得所有扰动的最小项;最后,导入原始信号确定伪装电路中的唯一扰动最小项.该算法可用于设计只能被特定电路使用的电路模块.在ISCAS’89基准电路和OpenSPARC微处理器控制器进行测试,该算法可以在2 s内确定特定电路的最小项,正确率超过80%.证明文中最小项扰动算法可以灵活、高效地选择最小项进行修改,并且保证修改成功.Abstract: The existing camouflage algorithm for minterm protection can not generate the minterm perturbation circuit steadily and can not control the specified logic casually,which makes the technology difficult to be used in the actual circuit.A minterm perturbation algorithm is proposed in this paper.By importing the original input signal and narrowing the minimum range affected by the logic gate,it can quickly find out the minterm perturbation circuit.At the same time,it can design key logic,such as specific output,specific gate and specific minterm.First,split the multi-output circuit into multiple single-output circuits and specify any output.Next,choose any gate of the single-output circuit and use the sensitization and FAN techniques to obtain all the perturbed minterms.Finally,import the original signal to determine the unique perturbation minterm in the camouflage circuit.The experimental results in ISCAS’89 benchmark circuits and the controllers of OpenSPARC microprocessor show that the algorithm can determine the minterm of a particular circuit within 2 s,and the correct rate is over 80%,which certificates that the algorithm can flexibly select the minterm modification and ensure the modification is successful.