{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T09:07:01Z","timestamp":1725700021498},"reference-count":6,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,11]]},"DOI":"10.1109\/isocc.2012.6407124","type":"proceedings-article","created":{"date-parts":[[2013,1,17]],"date-time":"2013-01-17T20:36:38Z","timestamp":1358454998000},"page":"395-397","source":"Crossref","is-referenced-by-count":1,"title":["Verification of massive advanced node SoCs"],"prefix":"10.1109","author":[{"family":"DaeSeo Cha","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"HyunWoo Koh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"NamPhil Jo","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"}]},{"given":"Karthik","family":"Kothandapani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Riccardo","family":"Oddone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adam","family":"Sherer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"UVM 1 1 Reference Manual","year":"2011","key":"3"},{"journal-title":"Verification Simulation User Guide Version 10 21","year":"2011","key":"2"},{"journal-title":"Functional Specifiation for Incrementa Elaboration","year":"2011","key":"1"},{"journal-title":"Verification Intellectual Property Technical Subcommittee","year":"0","key":"6"},{"key":"5","article-title":"A practical guide to adopting the universal verification methodology(UVM)","author":"rosenberg","year":"2010","journal-title":"Cadence Desgin Systems"},{"journal-title":"Universal Verification Methodology (UVM) 1 1 User's Guide","year":"2011","key":"4"}],"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\/06407124.pdf?arnumber=6407124","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T16:27:32Z","timestamp":1490200052000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6407124\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,11]]},"references-count":6,"URL":"https:\/\/doi.org\/10.1109\/isocc.2012.6407124","relation":{},"subject":[],"published":{"date-parts":[[2012,11]]}}}