{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,21]],"date-time":"2026-07-21T14:23:29Z","timestamp":1784643809358,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,7,10]],"date-time":"2022-07-10T00:00:00Z","timestamp":1657411200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"BMBF1","award":["01IW19001"],"award-info":[{"award-number":["01IW19001"]}]},{"name":"BMBF2","award":["16ME0127"],"award-info":[{"award-number":["16ME0127"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,7,10]]},"DOI":"10.1145\/3489517.3530604","type":"proceedings-article","created":{"date-parts":[[2022,8,23]],"date-time":"2022-08-23T23:19:29Z","timestamp":1661296769000},"page":"1177-1182","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Verifying SystemC TLM peripherals using modern C++ symbolic execution tools"],"prefix":"10.1145","author":[{"given":"Pascal","family":"Pieper","sequence":"first","affiliation":[{"name":"DFKI GmbH, Bremen, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Vladimir","family":"Herdt","sequence":"additional","affiliation":[{"name":"University of Bremen, Bremen, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Daniel","family":"Gro\u00dfe","sequence":"additional","affiliation":[{"name":"Johannes Kepler University Linz, Linz, Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[{"name":"University of Bremen, Bremen, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2022,8,23]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2020. SiFive FE310-G000 Manual. Retrieved 2020-09-17 from https:\/\/sifive.cdn.prismic.io\/sifive%2F500a69f8-af3a-4fd9-927f-10ca77077532_fe310-g000.pdf"},{"key":"e_1_3_2_1_2_1","volume-title":"Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation","author":"Cadar Cristian","year":"2008","unstructured":"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."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"C. Chou C. Chu and C. Huang. 2013. Conquering the Scheduling Alternative Explosion Problem of SystemC Symbolic Simulation. In ICCAD.","DOI":"10.1109\/ICCAD.2013.6691189"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"Chun-Nan Chou Yen-Sheng Ho Chiao Hsieh and Chung-Yang Huang. 2012. Symbolic model checking on SystemC designs. In DAC. 327--333.","DOI":"10.1145\/2228360.2228421"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2012.2232351"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","unstructured":"Philippe Coussy Andres Takach Michael McNamara and Mike Meredith. 2010. An Introduction to the SystemC Synthesis Subset Standard. 183--184. 10.1145\/1878961.1878993","DOI":"10.1145\/1878961.1878993"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"D. Gro\u00dfe H. M. Le and R. Drechsler. 2010. Proving Transaction and System-level Properties of Untimed SystemC TLM Designs. In MEMOCODE. 113--122.","DOI":"10.1109\/MEMCOD.2010.5558643"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"P. Herber J. Fellmuth and S. Glesner. 2008. Model Checking SystemC Designs Using Timed Automata. In CODES+ISSS. 131--136.","DOI":"10.1145\/1450135.1450166"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2011.5970523"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"P. Herber M. Pockrandt and S. Glesner. 2015. STATE - A SystemC to Timed Automata Transformation Engine. In HPCC-CSS-ICESS.","DOI":"10.1109\/HPCC-CSS-ICESS.2015.188"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2846638"},{"key":"e_1_3_2_1_12_1","first-page":"1","article-title":"Compiled Symbolic Simulation for SystemC","volume":"52","author":"Herdt Vladimir","year":"2016","unstructured":"Vladimir Herdt, Hoang M. Le, Daniel Gro\u00dfe, and Rolf Drechsler. 2016. Compiled Symbolic Simulation for SystemC. In ICCAD. 52:1--52:8.","journal-title":"ICCAD."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"D. Karlsson P. Eles and Z. Peng. 2006. Formal Verification of Systemc Designs Using a Petri-net Based Representation. In DATE. 1228--1233.","DOI":"10.1109\/DATE.2006.244076"},{"key":"e_1_3_2_1_14_1","unstructured":"D. Kroening and N. Sharygina. 2005. Formal Verification of SystemC by Automatic Hardware\/Software Partitioning. In MEMOCODE."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"Hoang M. Le Vladimir Herdt Daniel Gro\u00dfe and Rolf Drechsler. 2016. Towards formal verification of real-world SystemC TLM peripheral models - a case study. In 2016 DATE. 1160--1163.","DOI":"10.3850\/9783981537079_0717"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3092893.3092895"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2016.7428006"},{"key":"e_1_3_2_1_18_1","first-page":"2","article-title":"LusSy: An open tool for the analysis of systems-on-a-chip at the transaction level","volume":"10","author":"Moy M.","year":"2005","unstructured":"M. Moy, F. Maraninchi, and L. Maillet-Contoz. 2005. LusSy: An open tool for the analysis of systems-on-a-chip at the transaction level. ACSD 10, 2--3 (2005), 73--104.","journal-title":"ACSD"},{"key":"e_1_3_2_1_19_1","unstructured":"OSCI 2009. OSCI TLM-2.0 Language Reference Manual. OSCI."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/ESTIMedia.2011.6088527"},{"key":"e_1_3_2_1_21_1","unstructured":"Std. 1666 2011. IEEE Standard SystemC Language Reference Manual. Std. 1666."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","unstructured":"D. Tabakov M.Y. Vardi G. Kamhi and E. Singerman. 2008. A Temporal Language for SystemC. In FMCAD. 1--9.","DOI":"10.1109\/FMCAD.2008.ECP.26"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","unstructured":"C. Traulsen J. Cornet M. Moy and F. Maraninchi. 2007. A SystemC\/TLM Semantics in Promela and Its Possible Applications. In SPIN.","DOI":"10.1007\/978-3-540-73370-6_14"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","unstructured":"M. Y. Vardi. 2007. Formal techniques for SystemC verification. In DAC.","DOI":"10.1145\/1278480.1278527"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","unstructured":"Andrew Waterman Yunsup Lee David A. Patterson and Krste Asanovic. 2014. The RISC-V Instruction Set Manual.","DOI":"10.1109\/HOTCHIPS.2013.7478332"}],"event":{"name":"DAC '22: 59th ACM\/IEEE Design Automation Conference","location":"San Francisco California","acronym":"DAC '22","sponsor":["SIGDA ACM Special Interest Group on Design Automation","IEEE CEDA"]},"container-title":["Proceedings of the 59th ACM\/IEEE Design Automation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3489517.3530604","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3489517.3530604","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:02:23Z","timestamp":1750186943000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3489517.3530604"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,7,10]]},"references-count":25,"alternative-id":["10.1145\/3489517.3530604","10.1145\/3489517"],"URL":"https:\/\/doi.org\/10.1145\/3489517.3530604","relation":{},"subject":[],"published":{"date-parts":[[2022,7,10]]},"assertion":[{"value":"2022-08-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}