基于可满足性无关项的硬件木马设计与检测
武玲娟, 朱嘉诚, 唐时博, 谭静, 胡伟
Design and detection of hardware Trojan based on satisfiability don't cares
Lingjuan WU, Jiacheng ZHU, Shibo TANG, Jing TAN, Wei HU
网络与信息安全学报 . 2021, (2): 35 -42 .  DOI: 10.11959/j.issn.2096-109x.2021025