{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:06:53Z","timestamp":1729660013555,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,7]]},"DOI":"10.1109\/memcod.2009.5185385","type":"proceedings-article","created":{"date-parts":[[2009,8,11]],"date-time":"2009-08-11T15:09:22Z","timestamp":1250003362000},"page":"98-107","source":"Crossref","is-referenced-by-count":1,"title":["Implementing a high-performance multithreaded microprocessor: A case study in high-level design and validation"],"prefix":"10.1109","author":[{"given":"Eric S.","family":"Chung","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James C.","family":"Hoe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"0","journal-title":"SystemC The Open SystemC Initiative","key":"19"},{"key":"22","first-page":"430","article-title":"peas-iii: an asip design environment","year":"2000","journal-title":"ICCD'00 Proceedings of the 2000 IEEE International Conference on Computer Design"},{"key":"17","article-title":"ibm powerpc design in bluespec","author":"ekanadham","year":"2008","journal-title":"Technical Report RC24706"},{"doi-asserted-by":"publisher","key":"23","DOI":"10.1109\/DATE.2004.1269223"},{"doi-asserted-by":"publisher","key":"18","DOI":"10.1145\/1363686.1364037"},{"doi-asserted-by":"publisher","key":"24","DOI":"10.1145\/1086297.1086325"},{"doi-asserted-by":"publisher","key":"15","DOI":"10.1145\/968280.968346"},{"year":"2005","author":"dave","journal-title":"Designing a processor in Bluespec","key":"16"},{"year":"2009","journal-title":"VCS","key":"13"},{"key":"14","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1145\/1168917.1168865","article-title":"a regulated transitive reduction (rtr) for longer memory race recording","volume":"40","author":"xu","year":"2006","journal-title":"SIGOPS Oper Syst Rev"},{"year":"2008","author":"xilin","journal-title":"Xilinx XST User Guide 9 2","key":"11"},{"year":"0","journal-title":"ChipScope Pro","key":"12"},{"doi-asserted-by":"publisher","key":"21","DOI":"10.1007\/978-1-4615-4515-6"},{"year":"0","journal-title":"Bluespec Inc","key":"3"},{"year":"2009","journal-title":"Catapult-C","key":"20"},{"doi-asserted-by":"publisher","key":"2","DOI":"10.1109\/2.982916"},{"doi-asserted-by":"publisher","key":"1","DOI":"10.1145\/1344671.1344684"},{"year":"2003","journal-title":"UltraSPARC III Cu User's Manual Version 2 2","key":"10"},{"doi-asserted-by":"publisher","key":"7","DOI":"10.1109\/MDT.2005.30"},{"year":"0","journal-title":"Xilinx Inc","key":"6"},{"year":"2008","author":"thatcher","journal-title":"OpenSPARC T1 on Xilinx FPGAs-Updates","key":"5"},{"year":"2008","journal-title":"OpenSPARC T1 FPGA Implementation Release 1 6 Update","article-title":"microelectronics group, sun microsystems, inc.","key":"4"},{"key":"9","first-page":"241","article-title":"architecture and applications of the hep multiprocessor computer system","author":"smith","year":"1981","journal-title":"Proceedings of SPIE - Real-Time Signal Processing IV"},{"year":"2009","author":"xilin","journal-title":"MicroBlaze Processor Reference Guide","key":"8"}],"event":{"name":"2009 7th IEEE\/ACM International Conference on Formal Methods and Models for Co-Design (MEMOCODE)","start":{"date-parts":[[2009,7,13]]},"location":"Cambridge, MA, USA","end":{"date-parts":[[2009,7,15]]}},"container-title":["2009 7th IEEE\/ACM International Conference on Formal Methods and Models for Co-Design"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5173407\/5185370\/05185385.pdf?arnumber=5185385","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T18:43:27Z","timestamp":1497811407000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5185385\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,7]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/memcod.2009.5185385","relation":{},"subject":[],"published":{"date-parts":[[2009,7]]}}}