{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T08:10:37Z","timestamp":1725523837050},"reference-count":5,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1109\/issoc.2005.1595634","type":"proceedings-article","created":{"date-parts":[[2008,7,18]],"date-time":"2008-07-18T15:12:17Z","timestamp":1216393937000},"page":"22-22","source":"Crossref","is-referenced-by-count":1,"title":["Dynamic Verification of OCP-based SoC"],"prefix":"10.1109","author":[{"given":"N.","family":"Barsotti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Mariani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Martinelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Pasquariello","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"OCP eVC YOGITECH SpA","year":"0","key":"3"},{"year":"0","key":"2"},{"journal-title":"Specification","year":"0","author":"ocp-ip","key":"1"},{"key":"5","article-title":"Verification of Interface-Centric OCP-based Platforms Using Yogitech's OCP eVC","author":"barsotti","year":"2004","journal-title":"GSPx Conference"},{"key":"4","article-title":"A comprehensive approach for verification of OCP-bascd SoCs","author":"barsotti","year":"2004","journal-title":"IP\/SoC Conference"}],"event":{"name":"2005 International Symposium on System-on-Chip","start":{"date-parts":[[2005,11,17]]},"location":"Tampere, Finland","end":{"date-parts":[[2005,11,17]]}},"container-title":["2005 International Symposium on System-on-Chip"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10634\/33568\/01595634.pdf?arnumber=1595634","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,15]],"date-time":"2017-03-15T00:29:15Z","timestamp":1489537755000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1595634\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"references-count":5,"URL":"https:\/\/doi.org\/10.1109\/issoc.2005.1595634","relation":{},"subject":[],"published":{"date-parts":[[2005]]}}}