{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:31:09Z","timestamp":1740101469829,"version":"3.37.3"},"reference-count":3,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,2,20]],"date-time":"2023-02-20T00:00:00Z","timestamp":1676851200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,2,20]],"date-time":"2023-02-20T00:00:00Z","timestamp":1676851200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100009950","name":"Ministry of Education","doi-asserted-by":"publisher","award":["4199990113966"],"award-info":[{"award-number":["4199990113966"]}],"id":[{"id":"10.13039\/100009950","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,2,20]]},"DOI":"10.1109\/icaiic57133.2023.10066996","type":"proceedings-article","created":{"date-parts":[[2023,3,23]],"date-time":"2023-03-23T17:38:05Z","timestamp":1679593085000},"page":"595-597","source":"Crossref","is-referenced-by-count":1,"title":["Fast Verilog Simulation using Tel-based Verification Code Generation for Dynamically Reloading from Pre-Simulation Snapshot"],"prefix":"10.1109","author":[{"given":"Yonghun","family":"Lee","sequence":"first","affiliation":[{"name":"School of Electronic and Electrical Engineering, Kyungpook National University,Daegu,Republic of Korea"}]},{"given":"Daejin","family":"Park","sequence":"additional","affiliation":[{"name":"School of Electronic and Electrical Engineering, Kyungpook National University,Daegu,Republic of Korea"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1995.250080"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/BMAS.2008.4751250"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/MTV.2014.16"}],"event":{"name":"2023 International Conference on Artificial Intelligence in Information and Communication (ICAIIC)","start":{"date-parts":[[2023,2,20]]},"location":"Bali, Indonesia","end":{"date-parts":[[2023,2,23]]}},"container-title":["2023 International Conference on Artificial Intelligence in Information and Communication (ICAIIC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10066849\/10066958\/10066996.pdf?arnumber=10066996","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,14]],"date-time":"2024-03-14T05:48:21Z","timestamp":1710395301000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10066996\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,2,20]]},"references-count":3,"URL":"https:\/\/doi.org\/10.1109\/icaiic57133.2023.10066996","relation":{},"subject":[],"published":{"date-parts":[[2023,2,20]]}}}