{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T18:30:40Z","timestamp":1729621840335,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,10]]},"DOI":"10.1109\/vlsi-soc.2013.6673253","type":"proceedings-article","created":{"date-parts":[[2013,12,4]],"date-time":"2013-12-04T14:45:44Z","timestamp":1386168344000},"page":"72-77","source":"Crossref","is-referenced-by-count":4,"title":["SyntHorus-2: Automatic prototyping from PSL"],"prefix":"10.1109","author":[{"given":"Katell","family":"Morin-Allory","sequence":"first","affiliation":[]},{"given":"Fatemeh Negin","family":"Javaheri","sequence":"additional","affiliation":[]},{"given":"Dominique","family":"Borrione","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2011.08.007"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2008.13"},{"journal-title":"Synthesis of Reactive Systems","year":"2005","author":"regenberg","key":"17"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75596-8_33"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-8586-4"},{"key":"16","first-page":"263","article-title":"An antichain algorithm for LTL realizability","author":"filiot","year":"2009","journal-title":"Proceedings of the 21st International Conference on Computer Aided Verification CAV09"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75293"},{"key":"14","first-page":"280","volume":"3701","author":"heymans","year":"2005","journal-title":"Synthesis from Temporal Specifications Using Preferred Answer Set Programming"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/43.875301"},{"key":"12","doi-asserted-by":"crossref","first-page":"695","DOI":"10.1007\/3-540-16492-8_119","article-title":"Tokio: Logic programming language based on temporal logic and its compilation to prolog","volume":"225","author":"fujita","year":"1986","journal-title":"Third International Conference on Logic Programming"},{"key":"21","first-page":"271","author":"schickel","year":"2008","journal-title":"A Casestudy in Property-based Synthesis Generating A Cache Controller from Property-set"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-23120-9_6"},{"key":"20","first-page":"91","article-title":"Symbolically synthesizing small circuits","author":"ehlers","year":"2012","journal-title":"FMCAD"},{"journal-title":"IEEE Standard for Property Specification Language PSL","year":"2005","author":"foster","key":"2"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-9228-4"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2002.1018137"},{"journal-title":"Abc A System for Sequential Synthesis and Verification Release 61208","year":"0","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2006.244079"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.09.004"},{"journal-title":"Haifa-IBM-Laboratories RuleBase Parallel Edition","year":"2004","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/92.285744"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/322326.322327"}],"event":{"name":"2013 IFIP\/IEEE 21st International Conference on Very Large Scale Integration (VLSI-SoC)","start":{"date-parts":[[2013,10,7]]},"location":"Istanbul, Turkey","end":{"date-parts":[[2013,10,9]]}},"container-title":["2013 IFIP\/IEEE 21st International Conference on Very Large Scale Integration (VLSI-SoC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6662534\/6673221\/06673253.pdf?arnumber=6673253","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T23:38:49Z","timestamp":1498088329000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6673253\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,10]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/vlsi-soc.2013.6673253","relation":{},"subject":[],"published":{"date-parts":[[2013,10]]}}}