{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T13:04:16Z","timestamp":1725627856088},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,4]]},"DOI":"10.1109\/date.2009.5090644","type":"proceedings-article","created":{"date-parts":[[2013,2,19]],"date-time":"2013-02-19T18:16:39Z","timestamp":1361297799000},"page":"123-128","source":"Crossref","is-referenced-by-count":7,"title":["Multi-clock Soc design using protocol conversion"],"prefix":"10.1109","author":[{"given":"R.","family":"Sinha","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.S.","family":"Roop","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Basu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Z.","family":"Salcic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"2008","author":"sinha","article-title":"an approach for resolving control and data mismatches in socs","key":"3"},{"doi-asserted-by":"publisher","key":"2","DOI":"10.1109\/VLSI.2008.109"},{"key":"10","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/3-540-61474-5_59","article-title":"module checking [model checking ofopen systems]","author":"kupferman","year":"1996","journal-title":"Computer Aided Verification 8th International Conference CAV'96"},{"key":"1","first-page":"132","article-title":"convertibility verification and converter synthesis: two faces of the same coin","author":"passerone","year":"2002","journal-title":"ICCAD"},{"doi-asserted-by":"publisher","key":"7","DOI":"10.1007\/978-3-540-71209-1_16"},{"doi-asserted-by":"publisher","key":"6","DOI":"10.1023\/A:1008258331497"},{"doi-asserted-by":"publisher","key":"5","DOI":"10.1109\/ICVD.2004.1260923"},{"doi-asserted-by":"publisher","key":"4","DOI":"10.1145\/1403375.1403447"},{"year":"1999","article-title":"amba specification (rev 2.0)","key":"9"},{"doi-asserted-by":"publisher","key":"8","DOI":"10.1016\/S0096-0551(01)00016-9"},{"doi-asserted-by":"publisher","key":"11","DOI":"10.1109\/LICS.1995.523273"},{"doi-asserted-by":"publisher","key":"12","DOI":"10.1109\/ICCAD.1999.810667"}],"event":{"name":"2009 Design, Automation & Test in Europe Conference & Exhibition (DATE'09)","start":{"date-parts":[[2009,4,20]]},"location":"Nice","end":{"date-parts":[[2009,4,24]]}},"container-title":["2009 Design, Automation & Test in Europe Conference & Exhibition"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4926138\/5090609\/05090644.pdf?arnumber=5090644","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T15:10:25Z","timestamp":1602688225000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/5090644"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,4]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/date.2009.5090644","relation":{},"subject":[],"published":{"date-parts":[[2009,4]]}}}