{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:18:44Z","timestamp":1750306724854,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,10,12]],"date-time":"2014-10-12T00:00:00Z","timestamp":1413072000000},"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":[[2014,10,12]]},"DOI":"10.1145\/2656106.2656113","type":"proceedings-article","created":{"date-parts":[[2014,10,14]],"date-time":"2014-10-14T12:29:24Z","timestamp":1413289764000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Automated ISA branch coverage analysis and test case generation for retargetable instruction set simulators"],"prefix":"10.1145","author":[{"given":"Harry","family":"Wagstaff","sequence":"first","affiliation":[{"name":"University of Edinburgh"}]},{"given":"Tom","family":"Spink","sequence":"additional","affiliation":[{"name":"University of Edinburgh"}]},{"given":"Bj\u00f6rn","family":"Franke","sequence":"additional","affiliation":[{"name":"University of Edinburgh"}]}],"member":"320","published-online":{"date-parts":[[2014,10,12]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"ARM Limited. ARM Architecture Reference Manual DDI0100I.  ARM Limited. ARM Architecture Reference Manual DDI0100I."},{"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.5555\/2032305.2032319"},{"key":"e_1_3_2_1_4_1","first-page":"41","volume-title":"Proceedings of the Annual Conference on USENIX, ATEC '05","author":"Bellard Fabrice","year":"2005","unstructured":"Fabrice Bellard . QEMU, a fast and portable dynamic translator . In Proceedings of the Annual Conference on USENIX, ATEC '05 , pages 41 -- 41 , Berkeley, CA, USA , 2005 . USENIX Association. URL http:\/\/dl.acm.org\/citation.cfm?id=1247360.1247401. Fabrice Bellard. QEMU, a fast and portable dynamic translator. In Proceedings of the Annual Conference on USENIX, ATEC '05, pages 41--41, Berkeley, CA, USA, 2005. USENIX Association. URL http:\/\/dl.acm.org\/citation.cfm?id=1247360.1247401."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.69"},{"key":"e_1_3_2_1_6_1","first-page":"126","volume-title":"Proceedings of the 6th International Workshop on Program Comprehension, IWPC '98","author":"Cifuentes C.","unstructured":"C. Cifuentes and S. Sendall . Specifying the semantics of machine instructions . In Proceedings of the 6th International Workshop on Program Comprehension, IWPC '98 , pages 126 --, Washington, DC, USA, 1998. IEEE Computer Society. ISBN 0-8186-8560-3. URL http:\/\/dl.acm.org\/citation.cfm?id=580914.858217. C. Cifuentes and S. Sendall. Specifying the semantics of machine instructions. In Proceedings of the 6th International Workshop on Program Comprehension, IWPC '98, pages 126--, Washington, DC, USA, 1998. IEEE Computer Society. ISBN 0-8186-8560-3. URL http:\/\/dl.acm.org\/citation.cfm?id=580914.858217."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1361096.1361109"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/882496.884467"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/271771.271790"},{"key":"e_1_3_2_1_10_1","first-page":"586","volume-title":"Language and Image Processing, 2008. ICALIP 2008. International Conference on","author":"Han Alex Heunhe","year":"2008","unstructured":"Alex Heunhe Han , Young-Si Hwang , Young-Ho An , So-Jin Lee , and Ki-Seok Chung . Virtual arm platform for embedded system developers. In Audio , Language and Image Processing, 2008. ICALIP 2008. International Conference on , pages 586 -- 592 . IEEE, 2008 . Alex Heunhe Han, Young-Si Hwang, Young-Ho An, So-Jin Lee, and Ki-Seok Chung. Virtual arm platform for embedded system developers. In Audio, Language and Image Processing, 2008. ICALIP 2008. International Conference on, pages 586--592. IEEE, 2008."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/244522.244546"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2012.05.001"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/VLSID.2007.108"},{"key":"e_1_3_2_1_14_1","volume-title":"Computer Science Dept.","author":"Lattner Chris","year":"2002","unstructured":"Chris Lattner . LLVM: An Infrastructure for Multi-Stage Optimization. Master's thesis , Computer Science Dept. , University of Illinois at Urbana-Champaign , Urbana, IL , Dec 2002 . See http:\/\/llvm.cs.uiuc.edu. Chris Lattner. LLVM: An Infrastructure for Multi-Stage Optimization. Master's thesis, Computer Science Dept., University of Illinois at Urbana-Champaign, Urbana, IL, Dec 2002. See http:\/\/llvm.cs.uiuc.edu."},{"key":"e_1_3_2_1_15_1","volume-title":"Microsoft Research","author":"Ma Weiqin","year":"2009","unstructured":"Weiqin Ma , Jyh-Charn Liu , and Alessandro Forin . Design and testing of a CPU emulator. Technical report , Microsoft Research , 2009 . Weiqin Ma, Jyh-Charn Liu, and Alessandro Forin. Design and testing of a CPU emulator. Technical report, Microsoft Research, 2009."},{"key":"e_1_3_2_1_16_1","first-page":"1","volume-title":"Proceedings of the 21st IEEE International Symposium on Rapid System Prototyping, RSP","author":"Ma Weiqin","year":"2010","unstructured":"Weiqin Ma , A. Forin , and Jyh-Charn Liu . Rapid prototyping and compact testing of CPU emulators . In Proceedings of the 21st IEEE International Symposium on Rapid System Prototyping, RSP , pages 1 -- 7 , 2010 .. Weiqin Ma, A. Forin, and Jyh-Charn Liu. Rapid prototyping and compact testing of CPU emulators. In Proceedings of the 21st IEEE International Symposium on Rapid System Prototyping, RSP, pages 1--7, 2010.."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1572272.1572303"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/1266366.1266529"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10452-7_19"},{"key":"e_1_3_2_1_20_1","volume-title":"Systemc - a modeling platform supporting multiple design abstractions","author":"Panda Preeti Ranjan","year":"2001","unstructured":"Preeti Ranjan Panda . Systemc - a modeling platform supporting multiple design abstractions , 2001 . Preeti Ranjan Panda. Systemc - a modeling platform supporting multiple design abstractions, 2001."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/309847.310101"},{"key":"e_1_3_2_1_22_1","first-page":"79","volume-title":"Functional Verification Coverage Measurement and Analysis","author":"Piziali Andrew","year":"2008","unstructured":"Andrew Piziali . Code coverage . In Functional Verification Coverage Measurement and Analysis , pages 79 -- 95 . Springer US , 2008 . ISBN 978-0-387-73992-2.. URL http:\/\/dx.doi.org\/10.1007\/978-1-4020-8026-5_5. 10.1007\/978-1-4020-8026-5_5 Andrew Piziali. Code coverage. In Functional Verification Coverage Measurement and Analysis, pages 79--95. Springer US, 2008. ISBN 978-0-387-73992-2.. URL http:\/\/dx.doi.org\/10.1007\/978-1-4020-8026-5_5."},{"key":"e_1_3_2_1_23_1","first-page":"10556","volume-title":"Proceedings of the Conference on Design, Automation and Test in Europe -","volume":"1","author":"Qin Wei","unstructured":"Wei Qin and Sharad Malik . Flexible and formal modeling of microprocessors with application to retargetable simulation . In Proceedings of the Conference on Design, Automation and Test in Europe - Volume 1 , DATE '03, pages 10556 --, Washington, DC, USA, 2003. IEEE Computer Society. ISBN 0-7695-1870-2. URL http:\/\/dl.acm.org\/citation.cfm?id=789083.1022785. Wei Qin and Sharad Malik. Flexible and formal modeling of microprocessors with application to retargetable simulation. In Proceedings of the Conference on Design, Automation and Test in Europe - Volume 1, DATE '03, pages 10556--, Washington, DC, USA, 2003. IEEE Computer Society. ISBN 0-7695-1870-2. URL http:\/\/dl.acm.org\/citation.cfm?id=789083.1022785."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/256167.256225"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/944645.944649"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2006.110"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081750"},{"key":"e_1_3_2_1_28_1","unstructured":"Synopsys. Processor Designer. www.synopsys.com.  Synopsys. Processor Designer. www.synopsys.com."},{"key":"e_1_3_2_1_29_1","unstructured":"Target Compiler Technologies. IP Designer. www.retarget.com.  Target Compiler Technologies. IP Designer. www.retarget.com."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2463209.2488760"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11227-005-0218-y"}],"event":{"name":"ESWEEK'14: TENTH EMBEDDED SYSTEM WEEK","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","IEEE Council on Electronic Design Automation (CEDA)","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing"],"location":"New Delhi India","acronym":"ESWEEK'14"},"container-title":["Proceedings of the 2014 International Conference on Compilers, Architecture and Synthesis for Embedded Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2656106.2656113","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2656106.2656113","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:19:36Z","timestamp":1750231176000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2656106.2656113"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10,12]]},"references-count":31,"alternative-id":["10.1145\/2656106.2656113","10.1145\/2656106"],"URL":"https:\/\/doi.org\/10.1145\/2656106.2656113","relation":{},"subject":[],"published":{"date-parts":[[2014,10,12]]},"assertion":[{"value":"2014-10-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}