{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T12:49:19Z","timestamp":1730292559361,"version":"3.28.0"},"reference-count":4,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,12]]},"DOI":"10.1109\/reconfig.2012.6416758","type":"proceedings-article","created":{"date-parts":[[2013,1,30]],"date-time":"2013-01-30T17:52:35Z","timestamp":1359568355000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["Isolation of behavior design from system implementation"],"prefix":"10.1109","author":[{"given":"Andy Caley","family":"Data","sequence":"first","affiliation":[]},{"given":"Kent","family":"Gilson","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/MCSE.2010.69"},{"key":"2","article-title":"Ptolemy: A framework for simulating and prototyping heterogeneous systems","author":"buck","year":"1994","journal-title":"Int J Computer Simulation"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2182009"},{"key":"4","article-title":"The calculus of logic","volume":"3","author":"boole","year":"1848","journal-title":"The Cambridge and Dublin Mathematical Journal"}],"event":{"name":"2012 International Conference on Reconfigurable Computing and FPGAs (ReConFig 2012)","start":{"date-parts":[[2012,12,5]]},"location":"Cancun, Mexico","end":{"date-parts":[[2012,12,7]]}},"container-title":["2012 International Conference on Reconfigurable Computing and FPGAs"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6410219\/6416717\/06416758.pdf?arnumber=6416758","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T16:08:15Z","timestamp":1490112495000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6416758\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,12]]},"references-count":4,"URL":"https:\/\/doi.org\/10.1109\/reconfig.2012.6416758","relation":{},"subject":[],"published":{"date-parts":[[2012,12]]}}}