{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:21:13Z","timestamp":1750306873930,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,1,21]],"date-time":"2013-01-21T00:00:00Z","timestamp":1358726400000},"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":[[2013,1,21]]},"DOI":"10.1145\/2432516.2432522","type":"proceedings-article","created":{"date-parts":[[2013,1,29]],"date-time":"2013-01-29T16:21:18Z","timestamp":1359476478000},"page":"1-8","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Using the CASM language for simulator synthesis and model verification"],"prefix":"10.1145","author":[{"given":"Roland","family":"Lezuo","sequence":"first","affiliation":[{"name":"Vienna University of Technology, Vienna, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Krall","sequence":"additional","affiliation":[{"name":"Vienna University of Technology, Vienna, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,1,21]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/L-CA.2007.12"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10766-005-7301-0"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/169073.169083"},{"key":"e_1_3_2_1_4_1","volume-title":"Designing a CPU model: from a pseudo-formal document to fast code. CoRR, abs\/1109.4351","author":"Blanqui F.","year":"2011","unstructured":"F. Blanqui , C. Helmstetter , V. Joloboff , J.-F. Monin , and X. Shi . Designing a CPU model: from a pseudo-formal document to fast code. CoRR, abs\/1109.4351 , 2011 . F. Blanqui, C. Helmstetter, V. Joloboff, J.-F. Monin, and X. Shi. Designing a CPU model: from a pseudo-formal document to fast code. CoRR, abs\/1109.4351, 2011."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/647850.737241"},{"key":"e_1_3_2_1_6_1","volume-title":"RAPIDO '09: 1st Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools","author":"Brandner F.","year":"2009","unstructured":"F. Brandner , A. Fellnhofer , A. Krall , and D. Riegler . Fast and accurate simulation using the LLVM compiler framework . In RAPIDO '09: 1st Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools , 2009 . F. Brandner, A. Fellnhofer, A. Krall, and D. Riegler. Fast and accurate simulation using the LLVM compiler framework. In RAPIDO '09: 1st Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, 2009."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-6345-1_24"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abstract state machines: A method for high-level system design and analysis","author":"B\u00f6rger E.","year":"2003","unstructured":"E. B\u00f6rger . Abstract state machines: A method for high-level system design and analysis , 2003 . E. B\u00f6rger. Abstract state machines: A method for high-level system design and analysis, 2003."},{"key":"e_1_3_2_1_9_1","first-page":"8","volume-title":"Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools (RAPIDO), Heraklion, Cr\u00e8te, Gr\u00e8ce, 22\/01\/11","author":"Cass\u00e9 H.","year":"2011","unstructured":"H. Cass\u00e9 , J. Barre , R. Vaillant-David , and P. Sainrat . Fast Instruction-Accurate Simulation with SimNML (regular paper) . In Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools (RAPIDO), Heraklion, Cr\u00e8te, Gr\u00e8ce, 22\/01\/11 , pages 8 -- 12 , http:\/\/univ-lille1.fr, janvier 2011 . Universit\u00e9 de Lille. H. Cass\u00e9, J. Barre, R. Vaillant-David, and P. Sainrat. Fast Instruction-Accurate Simulation with SimNML (regular paper). In Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools (RAPIDO), Heraklion, Cr\u00e8te, Gr\u00e8ce, 22\/01\/11, pages 8--12, http:\/\/univ-lille1.fr, janvier 2011. Universit\u00e9 de Lille."},{"key":"e_1_3_2_1_10_1","first-page":"153","volume-title":"Proc. of the 12th International Workshop on Abstract State Machines","author":"Farahbod R.","year":"2005","unstructured":"R. Farahbod , V. Gervasi , and U. Gl\u00e4sser . CoreASM: An extensible ASM execution engine . In Proc. of the 12th International Workshop on Abstract State Machines , pages 153 -- 165 , 2005 . R. Farahbod, V. Gervasi, and U. Gl\u00e4sser. CoreASM: An extensible ASM execution engine. In Proc. of the 12th International Workshop on Abstract State Machines, pages 153--165, 2005."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/647752.734559"},{"key":"e_1_3_2_1_12_1","first-page":"9","volume-title":"Lipari guide","author":"Gurevich Y.","year":"1995","unstructured":"Y. Gurevich . Evolving algebras 1993 : Lipari guide , pages 9 -- 36 . Oxford University Press, Inc. , New York, NY, USA , 1995 . Y. Gurevich. Evolving algebras 1993: Lipari guide, pages 9--36. Oxford University Press, Inc., New York, NY, USA, 1995."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/1128020.1128563"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30885-7_24"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/513918.513927"},{"key":"e_1_3_2_1_17_1","volume-title":"Computer Organization and Design - The Hardware \/ Software Interface (Revised","author":"Patterson D. A.","year":"2012","unstructured":"D. A. Patterson and J. L. Hennessy . Computer Organization and Design - The Hardware \/ Software Interface (Revised 4 th Edition). The Morgan Kaufmann Series in Computer Architecture and Design. Academic Press , 2012 . D. A. Patterson and J. L. Hennessy. Computer Organization and Design - The Hardware \/ Software Interface (Revised 4th Edition). The Morgan Kaufmann Series in Computer Architecture and Design. Academic Press, 2012.","edition":"4"},{"key":"e_1_3_2_1_18_1","first-page":"132","volume-title":"in Int. Conf. on VLSI Design","author":"Rajesh V.","year":"2000","unstructured":"V. Rajesh and R. Moona . Processor modeling for hardware software codesign . In in Int. Conf. on VLSI Design , pages 132 -- 137 , 2000 . V. Rajesh and R. Moona. Processor modeling for hardware software codesign. In in Int. Conf. on VLSI Design, pages 132--137, 2000."},{"key":"e_1_3_2_1_19_1","first-page":"91","article-title":"The design and implementation of VAMPIRE","volume":"15","author":"Riazanov A.","year":"2002","unstructured":"A. Riazanov and A. Voronkov . The design and implementation of VAMPIRE . AI Commun. , 15 : 91 -- 110 , Aug. 2002 . A. Riazanov and A. Voronkov. The design and implementation of VAMPIRE. AI Commun., 15: 91--110, Aug. 2002.","journal-title":"AI Commun."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/1995456.1995484"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/11814771_7"},{"key":"e_1_3_2_1_22_1","unstructured":"Open SystemC Initiative. http:\/\/www.systemc.org\/home.  Open SystemC Initiative. http:\/\/www.systemc.org\/home."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/647752.734556"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2006.44"}],"event":{"name":"RAPIDO '13: Methods and Tools","acronym":"RAPIDO '13","location":"Berlin Germany"},"container-title":["Proceedings of the 2013 Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2432516.2432522","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2432516.2432522","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:18:20Z","timestamp":1750234700000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2432516.2432522"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,1,21]]},"references-count":24,"alternative-id":["10.1145\/2432516.2432522","10.1145\/2432516"],"URL":"https:\/\/doi.org\/10.1145\/2432516.2432522","relation":{},"subject":[],"published":{"date-parts":[[2013,1,21]]},"assertion":[{"value":"2013-01-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}