@inproceedings{7acd3c793fc44bc1913a32f014454247,
title = "Debugging and verifying SoC designs through effective cross-layer hardware-software co-simulation",
abstract = "Verification of modern day electronic circuits has become the bottleneck for the timely delivery of complex SoC designs. We develop a novel cross-layer hardware/software co-simulation framework that can effectively debug and verify an SoC design. We combine high-level C/C++ software with cycle-accurate SystemC hardware, uniquely identify various types of bugs, and help the hardware designer localize them. Experimental results show that we are able to detect and aid in localization of logic bugs from both C/C++ specifications as well as the high-level synthesis engine itself. Our framework is fully automated, representing an important step forward targeting fast and effective SoC design verification.",
keywords = "Hardware/software co-simulation, High-level synthesis, SoC design, Verification",
author = "Keith Campbell and Leon He and Liwei Yang and Swathi Gurumani and Kyle Rupnow and Deming Chen",
note = "Publisher Copyright: {\textcopyright} 2016 ACM.; 53rd Annual ACM IEEE Design Automation Conference, DAC 2016 ; Conference date: 05-06-2016 Through 09-06-2016",
year = "2016",
month = jun,
day = "5",
doi = "10.1145/2897937.2898002",
language = "English (US)",
series = "Proceedings - Design Automation Conference",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
booktitle = "Proceedings of the 53rd Annual Design Automation Conference, DAC 2016",
address = "United States",
}