Selective Concolic Testing for Hardware Trojan Detection in Behavioral SystemC Designs
Selective Concolic Testing for Hardware Trojan Detection in Behavioral SystemC Designs
复制标题
DOI：
10.23919/date48585.2020.9116384
复制
发表时间：
2020-03
期刊：
影响因子：
--
通讯作者：
Bin Lin;Jinchao Chen;Fei Xie
中科院分区：
文献类型：
--
作者：
Bin Lin;Jinchao Chen;Fei Xie
随着现代SoC设计的日益复杂和日益缩短的上市时间要求，出现了新的设计范式，如外包设计服务。设计抽象级别也从RTL提高到ESL。ESL中的现代SoC设计通常集成了各种第三方行为知识产权，并大量使用EDA工具来提高设计效率。然而，这种新的设计趋势使现代SoC更容易受到硬件木马攻击。虽然硬件木马检测已经在RTL和更低级别上研究了十多年，但直到最近才在ESL设计中得到关注。本文提出了一种新的方法，通过选择性concolic测试生成测试用例来检测ESL中的硬件木马。我们已经在一个开源基准测试中评估了我们的方法，其中包括各种类型的硬件木马。实验结果表明，该方法能够有效地检测硬件木马。
With the growing complexities of modern SoC designs and increasingly shortened time-to-market requirements, new design paradigms such as outsourced design services have emerged. Design abstraction level has also been raised from RTL to ESL. Modern SoC designs in ESL often integrate a variety of third-party behavioral intellectual properties, as well as intensively utilizing EDA tools to improve design productivity. However, this new design trend makes modern SoCs more vulnerable to hardware Trojan attacks. Although hardware Trojan detection has been studied for more than a decade in RTL and lower levels, it has only recently gained attention in ESL designs. In this paper, we present a novel approach for generating test cases by selective concolic testing to detect hardware Trojans in ESL. We have evaluated our approach on an open source benchmark that includes various types of hardware Trojans. The experimental results demonstrate that our approach is able to detect hardware Trojans effectively and efficiently.