{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:09:10Z","timestamp":1725473350720},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,12]]},"DOI":"10.1109\/icecs.2013.6815550","type":"proceedings-article","created":{"date-parts":[[2014,5,16]],"date-time":"2014-05-16T23:05:07Z","timestamp":1400281507000},"page":"859-864","source":"Crossref","is-referenced-by-count":0,"title":["Synthesizable assertion checkers in high levels of abstraction"],"prefix":"10.1109","author":[{"given":"Bahram N.","family":"Uchevler","sequence":"first","affiliation":[]},{"given":"Kjetil","family":"Svarstad","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","article-title":"Clash: Structural descriptions of synchronous hardware using haskell","author":"baaij","year":"2010","journal-title":"Euromicro"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1155\/2011\/406857"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ISSOC.2004.1411179"},{"journal-title":"Fesquet PSL-based Online Monitoring of Digital Systems FDL'05","year":"2005","author":"liu","key":"1"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-8586-4"},{"key":"6","first-page":"69","article-title":"SynPSL: Behavioral synthesis of psl assertions","author":"eibensteiner","year":"2005","journal-title":"Proceedings of International Conference Computer Aided Systems Theory EUROCAST"},{"journal-title":"Dominique Borrione On-line Monitoring of Properties Built on Regular Expressions FDL","year":"2006","author":"katell","key":"5"},{"year":"0","key":"4"},{"key":"9","article-title":"Runtime verification of concurrent haskell programs","author":"stolz","year":"2004","journal-title":"Proceedings of the Fourth Workshop on Runtime Verification"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"},{"key":"11","article-title":"Higher-order abstractions in hardware descriptions with clash","author":"gerards","year":"2011","journal-title":"Digital System Design"},{"key":"12","article-title":"Kjetil svarstad system-level modeling of dynamic reconfigurable designs using functional programming abstractions","author":"uchevler","year":"2013","journal-title":"ISQED2013"}],"event":{"name":"2013 IEEE 20th International Conference on Electronics, Circuits, and Systems (ICECS)","start":{"date-parts":[[2013,12,8]]},"location":"Abu Dhabi, United Arab Emirates","end":{"date-parts":[[2013,12,11]]}},"container-title":["2013 IEEE 20th International Conference on Electronics, Circuits, and Systems (ICECS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6810206\/6815321\/06815550.pdf?arnumber=6815550","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T23:01:19Z","timestamp":1490310079000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6815550\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,12]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/icecs.2013.6815550","relation":{},"subject":[],"published":{"date-parts":[[2013,12]]}}}