{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,6]],"date-time":"2025-10-06T06:08:19Z","timestamp":1759730899586,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,5,2]],"date-time":"2011-05-02T00:00:00Z","timestamp":1304294400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,5,2]]},"DOI":"10.1145\/1973009.1973054","type":"proceedings-article","created":{"date-parts":[[2011,5,3]],"date-time":"2011-05-03T12:48:54Z","timestamp":1304426934000},"page":"223-228","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Simulation-based equivalence checking between SystemC models at different levels of abstraction"],"prefix":"10.1145","author":[{"given":"Daniel","family":"Gro\u00dfe","sequence":"first","affiliation":[{"name":"University of Bremen, Bremen, Germany"}]},{"given":"Markus","family":"Gro\u00df","sequence":"additional","affiliation":[{"name":"University of Bremen, Bremen, Germany"}]},{"given":"Ulrich","family":"K\u00fchne","sequence":"additional","affiliation":[{"name":"LSV ENS de Cachan, Cachan, France"}]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[{"name":"University of Bremen, Bremen, Germany"}]}],"member":"320","published-online":{"date-parts":[[2011,5,2]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Standard template library programmer's guide. http:\/\/www.sgi.com\/tech\/stl\/.  Standard template library programmer's guide. http:\/\/www.sgi.com\/tech\/stl\/."},{"key":"e_1_3_2_1_2_1","volume-title":"Morgan Kaufmann\/Elsevier","author":"Bailey B.","year":"2007","unstructured":"B. Bailey , G. Martin , and A. Piziali . ESL Design and Verification: A Prescription for Electronic System Level Methodology . Morgan Kaufmann\/Elsevier , 2007 . B. Bailey, G. Martin, and A. Piziali. ESL Design and Verification: A Prescription for Electronic System Level Methodology. Morgan Kaufmann\/Elsevier, 2007."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1193229"},{"key":"e_1_3_2_1_4_1","volume-title":"Digitaltechnik - eine praxisnahe Einf\u00fchrung","author":"Biere A.","year":"2008","unstructured":"A. Biere , D. Kroening , G. Weissenbacher , and C. Wintersteiger . Digitaltechnik - eine praxisnahe Einf\u00fchrung . Springer , 2008 . A. Biere, D. Kroening, G. Weissenbacher, and C. Wintersteiger. Digitaltechnik - eine praxisnahe Einf\u00fchrung. Springer, 2008."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2007.371236"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/944645.944651"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629911.1630033"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1109118.1109121"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10617-007-9006-7"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146909.1146938"},{"key":"e_1_3_2_1_11_1","volume-title":"Transaction-Level Modeling with SystemC: TLM Concepts and Applications for Embedded Systems","author":"Ghenassia F.","year":"2006","unstructured":"F. Ghenassia . Transaction-Level Modeling with SystemC: TLM Concepts and Applications for Embedded Systems . Springer , 2006 . F. Ghenassia. Transaction-Level Modeling with SystemC: TLM Concepts and Applications for Embedded Systems. Springer, 2006."},{"key":"e_1_3_2_1_12_1","first-page":"114","volume-title":"DATE","author":"Goldberg E. I.","year":"2001","unstructured":"E. I. Goldberg , M. R. Prasad , and R. K. Brayton . Using SAT for combinational equivalence checking . In DATE , pages 114 -- 121 , 2001 . E. I. Goldberg, M. R. Prasad, and R. K. Brayton. Using SAT for combinational equivalence checking. In DATE, pages 114--121, 2001."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-90-481-3631-5","volume-title":"Quality-Driven SystemC Design","author":"Gro\u00dfe D.","year":"2010","unstructured":"D. Gro\u00dfe and R. Drechsler . Quality-Driven SystemC Design . Springer , 2010 . D. Gro\u00dfe and R. Drechsler. Quality-Driven SystemC Design. Springer, 2010."},{"key":"e_1_3_2_1_14_1","volume-title":"System Design with SystemC","author":"Gr\u00f6tker T.","year":"2002","unstructured":"T. Gr\u00f6tker , S. Liao , G. Martin , and S. Swan . System Design with SystemC . Kluwer Academic Publishers , 2002 . T. Gr\u00f6tker, S. Liao, G. Martin, and S. Swan. System Design with SystemC. Kluwer Academic Publishers, 2002."},{"key":"e_1_3_2_1_15_1","volume-title":"IEEE Standard SystemC Language Reference Manual","author":"Std IEEE","year":"2005","unstructured":"IEEE Std . 1666. IEEE Standard SystemC Language Reference Manual , 2005 . IEEE Std. 1666. IEEE Standard SystemC Language Reference Manual, 2005."},{"key":"e_1_3_2_1_16_1","volume-title":"IA-32 Architecture Software Developer's Manual","author":"Intel Corporation","year":"2003","unstructured":"Intel Corporation . IA-32 Architecture Software Developer's Manual , 2003 . Intel Corporation. IA-32 Architecture Software Developer's Manual, 2003."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1278480.1278530"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/775832.775928"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2005.68"},{"key":"e_1_3_2_1_20_1","unstructured":"Open SystemC Initiative (OSCI). www.systemc.org.  Open SystemC Initiative (OSCI). www.systemc.org."},{"key":"e_1_3_2_1_21_1","unstructured":"Open SystemC Initiative (OSCI). OSCI TLM-2.0 User Manual 2008.  Open SystemC Initiative (OSCI). OSCI TLM-2.0 User Manual 2008."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICECS.2008.4674893"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2006.1695903"}],"event":{"name":"GLSVLSI '11: Great Lakes Symposium on VLSI 2011","sponsor":["SIGDA ACM Special Interest Group on Design Automation","IEEE CEDA","IEEE CASS"],"location":"Lausanne Switzerland","acronym":"GLSVLSI '11"},"container-title":["Proceedings of the 21st edition of the great lakes symposium on Great lakes symposium on VLSI"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1973009.1973054","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1973009.1973054","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:52:23Z","timestamp":1750243943000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1973009.1973054"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,5,2]]},"references-count":23,"alternative-id":["10.1145\/1973009.1973054","10.1145\/1973009"],"URL":"https:\/\/doi.org\/10.1145\/1973009.1973054","relation":{},"subject":[],"published":{"date-parts":[[2011,5,2]]},"assertion":[{"value":"2011-05-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}