{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:26:07Z","timestamp":1725495967233},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,10]]},"DOI":"10.1109\/iccd.2008.4751883","type":"proceedings-article","created":{"date-parts":[[2009,1,20]],"date-time":"2009-01-20T20:27:15Z","timestamp":1232483235000},"page":"340-347","source":"Crossref","is-referenced-by-count":2,"title":["Hierarchical simulation-based verification of Anton, a special-purpose parallel machine"],"prefix":"10.1109","author":[{"given":"J.P.","family":"Grossman","sequence":"first","affiliation":[]},{"given":"John K.","family":"Salmon","sequence":"additional","affiliation":[]},{"given":"C. Richard","family":"Ho","sequence":"additional","affiliation":[]},{"given":"Douglas J.","family":"Ierardi","sequence":"additional","affiliation":[]},{"given":"Brian","family":"Towles","sequence":"additional","affiliation":[]},{"given":"Brannon","family":"Batson","sequence":"additional","affiliation":[]},{"given":"Jochen","family":"Spengler","sequence":"additional","affiliation":[]},{"given":"Stanley C.","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Rolf","family":"Mueller","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Theobald","sequence":"additional","affiliation":[]},{"given":"Cliff","family":"Young","sequence":"additional","affiliation":[]},{"given":"Joseph","family":"Gagliardo","sequence":"additional","affiliation":[]},{"given":"Martin M.","family":"Deneroff","sequence":"additional","affiliation":[]},{"given":"Ron O.","family":"Dror","sequence":"additional","affiliation":[]},{"given":"David E.","family":"Shaw","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/SC.2006.54"},{"year":"0","key":"15"},{"key":"16","first-page":"17","article-title":"using valgrind to detect undefined value errors with bit-precision","author":"seward","year":"2005","journal-title":"Proc USENIX Annual Technical Conference"},{"key":"13","first-page":"331","article-title":"highthroughput pairwise point interactions in anton, a specialized machine for molecular dynamics simulation","author":"larson","year":"2008","journal-title":"Proceedings of the 11th International Symposium on High-Performance Computer Architecture (HPCA'05)"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2008.4658651"},{"key":"11","doi-asserted-by":"crossref","first-page":"494","DOI":"10.1109\/ICCD.2002.1106819","article-title":"legacy systemc co-simulation of multi-processor systems-on-chip","author":"benini","year":"2002","journal-title":"Proc IEEE International Conference on Computer Design(ICCD'02)"},{"key":"12","first-page":"138","article-title":"virtual architecture mapping: a systemc based methodology for architectural exploration of systemon- chip designs","author":"kogel","year":"2003","journal-title":"Proc 5th Int Workshop Systems Architectures Modeling Simulation (SAMOS)"},{"key":"3","first-page":"338","article-title":"verification of the cell broadband enginetm processor","author":"shimizu","year":"2006","journal-title":"Proceedings of the 43rd Design Automation Conference (DAC)"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2002.1106784"},{"year":"0","key":"1"},{"key":"10","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1109\/ASPDAC.2000.835134","article-title":"methodology for hardware\/software coverification in c\/c++","author":"se?me?ria","year":"2000","journal-title":"Proc Asia South Pacific Design Autom Conf (ASP-DAC'00)"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/1016720.1016760"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2006.243811"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2001.913282"},{"key":"4","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1109\/ICCD.2002.1106741","article-title":"functional verification of the ibm zseries eserver z900 system","author":"walter","year":"2002","journal-title":"Proc IEEE International Conference on Computer Design (ICCD'02)"},{"year":"0","key":"9"},{"key":"8","first-page":"760","article-title":"a framework for fast hardwaresoftware co-simulation","author":"hoffmann","year":"2001","journal-title":"Proceedings of the Design Automation and Test in Europe (DATE)"}],"event":{"name":"2008 IEEE International Conference on Computer Design (ICCD)","start":{"date-parts":[[2008,10,12]]},"location":"Lake Tahoe, CA, USA","end":{"date-parts":[[2008,10,15]]}},"container-title":["2008 IEEE International Conference on Computer Design"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4740204\/4751825\/04751883.pdf?arnumber=4751883","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T11:19:47Z","timestamp":1558091987000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4751883\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,10]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/iccd.2008.4751883","relation":{},"subject":[],"published":{"date-parts":[[2008,10]]}}}