{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T04:19:03Z","timestamp":1725596343978},"reference-count":2,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1109\/fpl.2008.4629993","type":"proceedings-article","created":{"date-parts":[[2008,9,26]],"date-time":"2008-09-26T15:16:55Z","timestamp":1222442215000},"page":"499-502","source":"Crossref","is-referenced-by-count":1,"title":["CVC: The C to RTL compiler for callback-based verification model"],"prefix":"10.1109","author":[{"family":"Yasuhiro Ito","sequence":"first","affiliation":[]},{"family":"Yutaka Sugawara","sequence":"additional","affiliation":[]},{"family":"Mary Inaba","sequence":"additional","affiliation":[]},{"family":"Kei Hiraki","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"2","article-title":"interface design of vhdl simulation for hardware-software cosimulation","author":"wonyong","year":"1997","journal-title":"Proceedings of APCHDL"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2007.9"}],"event":{"name":"2008 International Conference on Field Programmable Logic and Applications (FPL)","start":{"date-parts":[[2008,9,8]]},"location":"Heidelberg, Germany","end":{"date-parts":[[2008,9,10]]}},"container-title":["2008 International Conference on Field Programmable Logic and Applications"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4625340\/4629890\/04629993.pdf?arnumber=4629993","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,17]],"date-time":"2017-03-17T15:39:44Z","timestamp":1489765184000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4629993\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"references-count":2,"URL":"https:\/\/doi.org\/10.1109\/fpl.2008.4629993","relation":{},"subject":[],"published":{"date-parts":[[2008]]}}}