Verifying SystemC TLM peripherals using modern C++ symbolic execution tools-Reference-Cited by-同舟云学术

Verifying SystemC TLM peripherals using modern C++ symbolic execution tools

Published:2022-07-10 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 59th ACM/IEEE Design Automation Conference
language:
Short-container-title:

Author:

Pieper Pascal¹,Herdt Vladimir²,Große Daniel³,Drechsler Rolf²

Affiliation:

1. DFKI GmbH, Bremen, Germany

2. University of Bremen, Bremen, Germany

3. Johannes Kepler University Linz, Linz, Austria

Funder

BMBF1

BMBF2

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3489517.3530604

Reference25 articles.

1. 2020. SiFive FE310-G000 Manual. Retrieved 2020-09-17 from https://sifive.cdn.prismic.io/sifive%2F500a69f8-af3a-4fd9-927f-10ca77077532_fe310-g000.pdf 2020. SiFive FE310-G000 Manual. Retrieved 2020-09-17 from https://sifive.cdn.prismic.io/sifive%2F500a69f8-af3a-4fd9-927f-10ca77077532_fe310-g000.pdf

2. Cristian Cadar , Daniel Dunbar , and Dawson Engler . 2008 . KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs . In Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation ( San Diego, California) (OSDI'08). USA, 209--224. Cristian Cadar, Daniel Dunbar, and Dawson Engler. 2008. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. In Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (San Diego, California) (OSDI'08). USA, 209--224.

3. C. Chou C. Chu and C. Huang. 2013. Conquering the Scheduling Alternative Explosion Problem of SystemC Symbolic Simulation. In ICCAD. C. Chou C. Chu and C. Huang. 2013. Conquering the Scheduling Alternative Explosion Problem of SystemC Symbolic Simulation. In ICCAD.

4. Chun-Nan Chou Yen-Sheng Ho Chiao Hsieh and Chung-Yang Huang. 2012. Symbolic model checking on SystemC designs. In DAC. 327--333. Chun-Nan Chou Yen-Sheng Ho Chiao Hsieh and Chung-Yang Huang. 2012. Symbolic model checking on SystemC designs. In DAC. 327--333.

5. Software Model Checking SystemC