{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T20:48:41Z","timestamp":1725482921686},"reference-count":8,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,1]]},"DOI":"10.1109\/aspdac.2008.4483987","type":"proceedings-article","created":{"date-parts":[[2008,4,10]],"date-time":"2008-04-10T14:56:31Z","timestamp":1207839391000},"page":"422-427","source":"Crossref","is-referenced-by-count":0,"title":["A fast two-pass HDL simulation with on-demand dump"],"prefix":"10.1109","author":[{"family":"Kyuho Shim","sequence":"first","affiliation":[]},{"family":"Youngrae Cho","sequence":"additional","affiliation":[]},{"family":"Namdo Kim","sequence":"additional","affiliation":[]},{"family":"Hyuncheol Baik","sequence":"additional","affiliation":[]},{"family":"Kyungkuk Kim","sequence":"additional","affiliation":[]},{"family":"Dusung Kim","sequence":"additional","affiliation":[]},{"family":"Jaebum Kim","sequence":"additional","affiliation":[]},{"family":"Byeongun Min","sequence":"additional","affiliation":[]},{"family":"Kyumyung Choi","sequence":"additional","affiliation":[]},{"family":"Maciej Ciesielski","sequence":"additional","affiliation":[]},{"family":"Seiyang Yang","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"year":"0","key":"3"},{"key":"2","first-page":"33","article-title":"a semi-formal verification methodology","author":"lu","year":"2001","journal-title":"Proc Int Conf IV"},{"year":"0","key":"1"},{"key":"7","doi-asserted-by":"crossref","first-page":"164","DOI":"10.1145\/277044.277083","article-title":"Enhanced visibility and performance in functional verification by reconstruction","author":"marantz","year":"1998","journal-title":"Proceedings 1998 Design and Automation Conference 35th DAC (Cat No 98CH36175) DAC"},{"journal-title":"Veloce Datasheet Mento Graphics","year":"2007","key":"6"},{"journal-title":"Palladium Datasheet Quickturn","year":"2007","key":"5"},{"key":"4","first-page":"439","article-title":"hardware\/software co-simulation","author":"rowson","year":"1994","journal-title":"31st Design Automation Conference"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/1146909.1146917"}],"event":{"name":"2008 Asia and South Pacific Design Automation Conference (ASPDAC)","start":{"date-parts":[[2008,3,21]]},"location":"Seoul, South Korea","end":{"date-parts":[[2008,3,24]]}},"container-title":["2008 Asia and South Pacific Design Automation Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4480121\/4483913\/04483987.pdf?arnumber=4483987","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T02:34:58Z","timestamp":1497753298000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4483987\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,1]]},"references-count":8,"URL":"https:\/\/doi.org\/10.1109\/aspdac.2008.4483987","relation":{},"subject":[],"published":{"date-parts":[[2008,1]]}}}