{“状态”:“确定”,“消息类型”:“工作”,“信息版本”:“1.0.0”,“邮件”:{“索引”:{-“日期部分”:[[2022,6,1]],“日期时间”:“2022-06-01T20:49:52Z”,“时间戳”:1654116592476},“引用计数”:24,“发布者”:“IEEE”,“内容域”:{“域”:[],“交叉标记限制”:false},”短容器时间“:[]”,“published-print“:{”日期部分“:[[2009,7]]},”DOI“:“10.1109\/memcod.2009.5185385”,“type”:“procesdings-article”,“created”:{“date-parts”:[[2009,8,11]],“date-time”:“2009-08-11T15:09:22Z”,“timestamp”:1250003362000},“source”:”Crossref“,”is-referenced-by-count“:1,”title“:[”实现高性能多线程微处理器:高级设计和验证的案例研究“],”前缀“:”10.1109“,“作者”:[{“given”:“Eric S.”,“family”:“Chung”,“sequence”:“first”,“affiliation”:[]}le-title“:“peas-iii:an asip design environment”,“year”:“2000”,“journal-title”:“ICCD'00 2000 IEEE国际计算机设计会议论文集”},{“key”:“17”,“article-title“:”ibm powerpc design in bluespec“,”author“:”ekanadham“,”year“:”2008“,”journal-title“:”Technical Report RC24706“},}”key“:”23“,”doi-asserted-by“:”publisher“,”doi“:“10.1109\/DATE。2004.1269223”},{“key”:“18”,“doi由”:“publisher”断言,“doi”:“10.1145\/133686.1364037”},{“key”:“24”,“doi由”:“publisher”断言,“doi”:“10.1145\/10866297.1086325”},{“key”:“15”,“doi由”:“publisher”断言,“doi”:“10.1145\/98280.968346”},{“key”:“16”,“author”:“dave”,“年份”:“2005”,“期刊标题”:“在Bluespec中设计处理器”},{“key”:“13”,“year”:“2009”,“journal-title”:“VCS”}“key”:“11”,“author”:“xilin”,“year”:“2008”,“journal-title”:“Xilinx XST用户指南9 2”},{“key”:“12”,“year”:“0”,“日记标题”:“ChipScope Pro”}“journal-title”:“Catapult-C”},{“key”:“2”,“doi-asserted-by”:“publisher”,“doi”:“10.1109\/2.982916”},{“key”:“1”,“doi-asserted-by”:“publisher”,“doi”:“10.1145\/1344671.1344684”}:“0”,“journal-title”:“Xilinx Inc”},{“key”:“5”,“author”:“thatcher”,“year”:“2008”,“journal-title”:“Xilinx FPGAs-Updates上的OpenSPARC T1”},{“key”:“4”,“article-title“:”微电子集团,sun microsystems,inc.“,”year“:”2008“,”journal-Tittle“:”OpenSPARC TI FPGA实现版本1 6更新“},”{“密钥”:“9”,“首页”:“241”,“article-title”:“hep多处理器计算机系统的架构和应用”,“author”:“smith”,“year”:“1981”,“journal-title”:“SPIE会议记录-实时信号处理IV”},{“key”:“8”,“auther”:“xilin”,”year“:“2009”,“日记标题”:“MicroBlaze处理器参考指南”}],“event”:{“name”:“2009第七届IEEE\/ACM国际协同设计形式方法和模型会议(MEMOCODE)”,“location”:“Cambridge,MA,USA”,“start”:{“date-parts”:[[2009,7,13]]},“end”:{“date-parts”:[[2009,7,15]]}},”container-title“:[”2009年第七届IEEE\/ACM联合设计形式方法和模型国际会议“],“original-title”:[],“link”:[{“URL”:“http://\xplorestaging.IEEE.org\/ielx5\/5173407\/5185370\/05185385.pdf?arnumber=5185385,“content-type”:“未指定”,“content-version”:“vor”,“intended-application”:“similarity-checking”}],“deposed”:{“date-parts”:[[2017,6,18]],“date-time”:“2017-06-18T18:43:27Z”,“timestamp”:1497811407000},“score”:1,“resource”:{primary“URL”:“http://ieeexplore.iee.org\/document\/5185385\/”}},”subtitle“:[],“shorttitle”:[],“已发布”:{“日期-部分”:[[2009,7]]},“references-count”:24,“URL”:“http://\/dx.doi.org\/10.1109\/memcod.2009.5185385”,“relation”:{},“subject”:[],“published”:{“date-parts”:[[2009,7]]}}}