{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:37:42Z","timestamp":1725565062470},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,4]]},"DOI":"10.1109\/cscwd.2007.4281425","type":"proceedings-article","created":{"date-parts":[[2007,8,8]],"date-time":"2007-08-08T15:59:31Z","timestamp":1186588771000},"page":"145-150","source":"Crossref","is-referenced-by-count":2,"title":["A Novel Collaborative Verification Environment for SoC Co-Verification"],"prefix":"10.1109","author":[{"given":"Tun","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"SiKun","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"JinShan","family":"Yu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yang","family":"Guo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/371636.371722"},{"journal-title":"IBM Corp CoreConnect Bus Architecture","year":"0","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2002.998365"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICVD.2004.1260981"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/11562948_15"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/11802167_74"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2004.1269044"},{"journal-title":"SystemC","year":"0","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/RSP.2005.22"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/581199.581236"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/996566.996655"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2002.1012730"},{"journal-title":"Open Core Protocol","year":"0","key":"ref2"},{"journal-title":"Virtual Socket Interface Alliance","year":"0","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2001.915114"}],"event":{"name":"2007 11th International Conference on Computer Supported Cooperative Work in Design","start":{"date-parts":[[2007,4,26]]},"location":"Melbourne, Australia","end":{"date-parts":[[2007,4,28]]}},"container-title":["2007 11th International Conference on Computer Supported Cooperative Work in Design"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4281389\/4281390\/04281425.pdf?arnumber=4281425","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,16]],"date-time":"2017-03-16T22:26:54Z","timestamp":1489703214000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4281425\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,4]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/cscwd.2007.4281425","relation":{},"subject":[],"published":{"date-parts":[[2007,4]]}}}