{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,6]],"date-time":"2025-10-06T05:44:54Z","timestamp":1759729494927,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,6,3]],"date-time":"2012-06-03T00:00:00Z","timestamp":1338681600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001868","name":"National Science Council Taiwan","doi-asserted-by":"publisher","award":["NSC 99-2221-E-002-211-MY3"],"award-info":[{"award-number":["NSC 99-2221-E-002-211-MY3"]}],"id":[{"id":"10.13039\/501100001868","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,6,3]]},"DOI":"10.1145\/2228360.2228421","type":"proceedings-article","created":{"date-parts":[[2012,5,31]],"date-time":"2012-05-31T12:10:51Z","timestamp":1338466251000},"page":"327-333","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":33,"title":["Symbolic model checking on SystemC designs"],"prefix":"10.1145","author":[{"given":"Chun-Nan","family":"Chou","sequence":"first","affiliation":[{"name":"National Taiwan University, Taipei"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yen-Sheng","family":"Ho","sequence":"additional","affiliation":[{"name":"National Taiwan University, Taipei"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chiao","family":"Hsieh","sequence":"additional","affiliation":[{"name":"National Taiwan University, Taipei"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chung-Yang (Ric)","family":"Huang","sequence":"additional","affiliation":[{"name":"National Taiwan University, Taipei"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,6,3]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"IEEE Standard 1666 SystemC Language Reference Manual 2005. www.systemc.org.  IEEE Standard 1666 SystemC Language Reference Manual 2005. www.systemc.org."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2006.10"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1391469.1391706"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2005.1487900"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"D. Karlsson P. Eles and Z. Peng \"Formal Verification of SystemC Designs Using a Petri-Net Based Representation \" In Proc. of DATE 2006.   D. Karlsson P. Eles and Z. Peng \"Formal Verification of SystemC Designs Using a Petri-Net Based Representation \" In Proc. of DATE 2006.","DOI":"10.1109\/DATE.2006.244076"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1450135.1450166"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"N. Blanc and D. Kroening \"Race Analysis for SystemC using Model Checking \" In Proc. of ICCAD 2008.   N. Blanc and D. Kroening \"Race Analysis for SystemC using Model Checking \" In Proc. of ICCAD 2008.","DOI":"10.1109\/ICCAD.2008.4681598"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2006.59"},{"key":"e_1_3_2_1_9_1","unstructured":"A. Cimatti A. Micheli I. Narasamdya M. Roveri \"Verifying SystemC: a software model checking approach \" In Proc. of FMCAD 2010.   A. Cimatti A. Micheli I. Narasamdya M. Roveri \"Verifying SystemC: a software model checking approach \" In Proc. of FMCAD 2010."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"A. Cimatti I. Narasamdya and M. Roveri \"Boosting Lazy Abstraction for SystemC with Partial Order Reduction \" In Proc. of TACAS 2011.   A. Cimatti I. Narasamdya and M. Roveri \"Boosting Lazy Abstraction for SystemC with Partial Order Reduction \" In Proc. of TACAS 2011.","DOI":"10.1007\/978-3-642-19835-9_31"},{"key":"e_1_3_2_1_11_1","unstructured":"C.-N. Chou C.-H. Hsu Y.-T. Chao and C.-Y. Huang \"Formal deadlock checking on high-level SystemC designs \" In Proc. of ICCAD 2010.   C.-N. Chou C.-H. Hsu Y.-T. Chao and C.-Y. Huang \"Formal deadlock checking on high-level SystemC designs \" In Proc. of ICCAD 2010."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"D. Gro\u00dfe H. M. Le R. Drechsler \"Proving transaction and system-level properties of untimed SystemC TLM designs \" In Proc. of MEMOCODE 2010.  D. Gro\u00dfe H. M. Le R. Drechsler \"Proving transaction and system-level properties of untimed SystemC TLM designs \" In Proc. of MEMOCODE 2010.","DOI":"10.1109\/MEMCOD.2010.5558643"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263717"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"A. Biere A. Cimatti E. M. Clarke and Y. Zhu \"Symbolic model checking without BDDs \" In Proc. of TACAS 1999.   A. Biere A. Cimatti E. M. Clarke and Y. Zhu \"Symbolic model checking without BDDs \" In Proc. of TACAS 1999.","DOI":"10.21236\/ADA360973"},{"key":"e_1_3_2_1_15_1","unstructured":"E. Clarke I. Grumberg and D. Peled \"Model Checking \" The MIT Press 1999.   E. Clarke I. Grumberg and D. Peled \"Model Checking \" The MIT Press 1999."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00768-2_16"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"M. Sheeran S. Singh and G. St\u00e5lmarck \"Checking safety properties using induction and a SAT-Solver \" In Proc. of FMCAD 2000.   M. Sheeran S. Singh and G. St\u00e5lmarck \"Checking safety properties using induction and a SAT-Solver \" In Proc. of FMCAD 2000.","DOI":"10.1007\/3-540-40922-X_8"}],"event":{"name":"DAC '12: The 49th Annual Design Automation Conference 2012","sponsor":["EDAC Electronic Design Automation Consortium","SIGDA ACM Special Interest Group on Design Automation","IEEE-CEDA","SIGBED ACM Special Interest Group on Embedded Systems"],"location":"San Francisco California","acronym":"DAC '12"},"container-title":["Proceedings of the 49th Annual Design Automation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2228360.2228421","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2228360.2228421","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:49:02Z","timestamp":1750236542000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2228360.2228421"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6,3]]},"references-count":17,"alternative-id":["10.1145\/2228360.2228421","10.1145\/2228360"],"URL":"https:\/\/doi.org\/10.1145\/2228360.2228421","relation":{},"subject":[],"published":{"date-parts":[[2012,6,3]]},"assertion":[{"value":"2012-06-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}