{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,26]],"date-time":"2025-09-26T13:18:37Z","timestamp":1758892717228,"version":"3.37.3"},"reference-count":12,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2017,6,1]],"date-time":"2017-06-01T00:00:00Z","timestamp":1496275200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"DOI":"10.13039\/501100002322","name":"Coordena\u00e7\u00e3o de Aperfei\u00e7oamento de Pessoal de N\u00edvel Superior","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100002322","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001807","name":"FAPESP","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100001807","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100003593","name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100003593","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Embedded Syst. Lett."],"published-print":{"date-parts":[[2017,6]]},"DOI":"10.1109\/les.2016.2626980","type":"journal-article","created":{"date-parts":[[2016,11,8]],"date-time":"2016-11-08T14:23:50Z","timestamp":1478615030000},"page":"25-28","source":"Crossref","is-referenced-by-count":3,"title":["HybridVerifier: A Cross-Platform Verification Framework for Instruction Set Simulators"],"prefix":"10.1109","volume":"9","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6376-3350","authenticated-orcid":false,"given":"Maxiwell","family":"Garcia","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5374-2521","authenticated-orcid":false,"given":"Emilio","family":"Francesquini","sequence":"additional","affiliation":[]},{"given":"Rodolfo","family":"Azevedo","sequence":"additional","affiliation":[]},{"given":"Sandro","family":"Rigo","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/WWC.2001.990739"},{"article-title":"Introduction to the DWARF debugging format","year":"2007","author":"eager","key":"ref3"},{"key":"ref10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1186736.1186737","article-title":"SPEC CPU2006 benchmark descriptions","volume":"34","author":"henning","year":"2006","journal-title":"SIGARCH Comput Archit News"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1289816.1289837"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1145\/2678373.2665692","article-title":"Harnessing ISA diversity: Design of a heterogeneous-ISA chip multiprocessor","volume":"42","author":"venkat","year":"2014","journal-title":"ACM SIGARCH Comput Archit News"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-25942-0_7"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1383559.1383565"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065034"},{"journal-title":"Embedded DSP Processor Design Application Specific Instruction Set Processors","year":"2008","author":"liu","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s10766-005-7301-0"},{"journal-title":"Design of Energy-Efficient Application-Specific Instruction Set Processors","year":"2004","author":"gl\u00f6kler","key":"ref9"},{"journal-title":"ARM Architecture Reference Manual","year":"2001","author":"seal","key":"ref1"}],"container-title":["IEEE Embedded Systems Letters"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/4563995\/7934154\/07738393.pdf?arnumber=7738393","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T11:40:32Z","timestamp":1641987632000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7738393\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6]]},"references-count":12,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/les.2016.2626980","relation":{},"ISSN":["1943-0663","1943-0671"],"issn-type":[{"type":"print","value":"1943-0663"},{"type":"electronic","value":"1943-0671"}],"subject":[],"published":{"date-parts":[[2017,6]]}}}