{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T15:15:15Z","timestamp":1725722115723},"reference-count":8,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,11]]},"DOI":"10.1109\/isocc.2012.6407123","type":"proceedings-article","created":{"date-parts":[[2013,1,17]],"date-time":"2013-01-17T15:36:38Z","timestamp":1358436998000},"page":"391-394","source":"Crossref","is-referenced-by-count":2,"title":["Millions to thousands issues through knowledge based SoC CDC verification"],"prefix":"10.1109","author":[{"family":"Youngchan Lee","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Namdo Kim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jay B.","family":"Kim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Byeong Min","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139166980"},{"journal-title":"Clock Domain Crossing (CDC) Design & Verification Techniques Using SystemVerilog","year":"2008","author":"cummings","key":"2"},{"key":"1","article-title":"Synthesis and scripting techniques for designing multi-asynchronous clock designs","author":"cummings","year":"0","journal-title":"SNUG 2001"},{"journal-title":"0-In CDC Analyzer User Guide V10 0c","year":"2011","key":"7"},{"journal-title":"Meridian CDC User Guide V4 0","year":"2011","key":"6"},{"journal-title":"Meridian CDC Reference Manual V4 0","year":"2011","key":"5"},{"key":"4","article-title":"Clock domain crossing verfication of a CPU\/GPU design","author":"priyank","year":"0","journal-title":"DVCON 2010"},{"journal-title":"SpyGlass Clock-Reset Rules Reference V4 5 0-Beta","year":"2010","key":"8"}],"event":{"name":"2012 International SoC Design Conference (ISOCC 2012)","start":{"date-parts":[[2012,11,4]]},"location":"Jeju Island, Korea (South)","end":{"date-parts":[[2012,11,7]]}},"container-title":["2012 International SoC Design Conference (ISOCC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6395852\/6406249\/06407123.pdf?arnumber=6407123","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T12:27:31Z","timestamp":1490185651000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6407123\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,11]]},"references-count":8,"URL":"https:\/\/doi.org\/10.1109\/isocc.2012.6407123","relation":{},"subject":[],"published":{"date-parts":[[2012,11]]}}}