Concolic Testing of SystemC Designs
Sponsor
This research received financial support from National Science Foundation (Grant #: CNS-1422067).
Published In
2018 19th International Symposium on Quality Electronic Design (ISQED)
Document Type
Citation
Publication Date
3-2018
Abstract
SystemC is a system-level modelling language widely used in the semiconductor industry. SystemC validation is both necessary and important, since undetected bugs may propagate to final silicon products, which can be extremely expensive and dangerous. However, it is challenging to validate SystemC designs due to their heavy usage of object-oriented features, event-driven simulation semantics, and inherent concurrency. In this paper, we present CTSC, an automated, easyto- deploy, scalable, and effective binary-level concolic testing framework for SystemC designs. We have implemented CTSC and applied it to an open source SystemC benchmark. In our extensive experiments, the CTSC-generated test cases achieved high code coverage, triggered 14 assertions, and found two severe bugs. In addition, the experiments on two designs with more than 2K lines of SystemC code show that our approach scales to designs of practical sizes.
Locate the Document
DOI
10.1109/ISQED.2018.8357256
Persistent Identifier
https://archives.pdx.edu/ds/psu/30644
Citation Details
Lin, B., Cong, K., Yang, Z., Liao, Z., Zhan, T., Havlicek, C., & Xie, F. (2018, March). Concolic testing of SystemC designs. In 2018 19th International Symposium on Quality Electronic Design (ISQED) (pp. 1-7). IEEE.
Description
©2018 IEEE