Selective Concolic Testing for Hardware Trojan Detection in Behavioral SystemC Designs
This research received financial support in part from National Science Foundation (Grant #: 1908571).
2020 Design, Automation & Test in Europe Conference & Exhibition (DATE)
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.
© Copyright 2020 IEEE
Locate the Document
Lin, B., Chen, J., & Xie, F. (2020). Selective Concolic Testing for Hardware Trojan Detection in Behavioral SystemC Designs. Institute of Electrical and Electronics Engineers (IEEE). https://doi.org/10.23919/date48585.2020.9116384