{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,3]],"date-time":"2024-09-03T23:58:59Z","timestamp":1725407939585},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,11]]},"DOI":"10.1109\/iccad.2014.7001323","type":"proceedings-article","created":{"date-parts":[[2015,1,13]],"date-time":"2015-01-13T15:11:15Z","timestamp":1421161875000},"page":"9-16","source":"Crossref","is-referenced-by-count":7,"title":["Validating direct memory access interfaces with conformance checking"],"prefix":"10.1109","author":[{"given":"Li","family":"Lei","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kai","family":"Cong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhenkun","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fei","family":"Xie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2003.159685"},{"journal-title":"Intel 8255×10\/100 Mbps Ethernet Controller Family - Open Source Software Developer Manual","year":"2006","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2451116.2451168"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1023\/A:1020383505582"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2463209.2488770"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68073-4_4"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100048"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1145\/1391469.1391569","article-title":"ifra: instruction footprint recording and analysis for post-silicon bug localization in processors","author":"sung-boem park","year":"2008","journal-title":"2008 45th ACM\/IEEE Design Automation Conference DAC"},{"key":"ref19","article-title":"Fast hardware\/software co-simulation for virtual prototyping and trade-off analysis","author":"passerone","year":"1997","journal-title":"Proc of DAC"},{"key":"ref4","article-title":"QEMU, a fast and portable dynamic translator","author":"bellard","year":"2005","journal-title":"Proc of ATEC"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1992.227848"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2008.ECP.9"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2006.4380831"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1992.227832"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/224818.224892"},{"article-title":"Concurrent hardware\/software development platforms speed system integration and bring-up","year":"0","author":"avinun","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2001.915114"},{"key":"ref1","article-title":"A reconfigurable design-for-debug infrastructure for SoCs","author":"abramovici","year":"2006","journal-title":"Proc of DAC"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2009.5351128"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950383"},{"key":"ref21","article-title":"Hardware\/software co-simulation","author":"rowson","year":"1994","journal-title":"DAC"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2046707.2093511"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/368434.368712"},{"journal-title":"Component-based hardware\/software co-verification for building trustworthy embedded systems The Journal of Systems and Software","year":"2007","author":"xie","key":"ref25"}],"event":{"name":"2014 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)","start":{"date-parts":[[2014,11,2]]},"location":"San Jose, CA, USA","end":{"date-parts":[[2014,11,6]]}},"container-title":["2014 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6991350\/7001313\/07001323.pdf?arnumber=7001323","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T23:34:29Z","timestamp":1498174469000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7001323\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/iccad.2014.7001323","relation":{},"subject":[],"published":{"date-parts":[[2014,11]]}}}