{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,5]],"date-time":"2026-03-05T14:26:57Z","timestamp":1772720817061,"version":"3.50.1"},"reference-count":8,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,10]]},"DOI":"10.23919\/fmcad.2019.8894261","type":"proceedings-article","created":{"date-parts":[[2019,11,13]],"date-time":"2019-11-13T09:25:06Z","timestamp":1573637106000},"page":"138-146","source":"Crossref","is-referenced-by-count":8,"title":["Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications"],"prefix":"10.23919","author":[{"given":"Gideon","family":"Geier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philippe","family":"Heim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Felix","family":"Klein","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernd","family":"Finkbeiner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3331545.3342601"},{"key":"ref3","volume":"1","author":"baaij","year":"2015","journal-title":"Digital circuit in c ash functional speci?cations and type-directed synthesis"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63390-9_17"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96145-3_31"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/FCCM.2019.00010"},{"key":"ref7","article-title":"The 5th reactive synthesis competition (SYNTCOMP 2018): Benchmarks, participants & results","volume":"abs 1904 7736","author":"jacobs","year":"2019","journal-title":"CoRR"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-25540-4_35"},{"key":"ref1","first-page":"1","article-title":"Automatic hardware synthesis from speci?cations: A case study","author":"bloem","year":"2007","journal-title":"Design Automation Test in Europe Conference Exhibition 2007"}],"event":{"name":"2019 Formal Methods in Computer Aided Design (FMCAD)","location":"San Jose, CA, USA","start":{"date-parts":[[2019,10,22]]},"end":{"date-parts":[[2019,10,25]]}},"container-title":["2019 Formal Methods in Computer Aided Design (FMCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8891869\/8894241\/08894261.pdf?arnumber=8894261","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,23]],"date-time":"2020-08-23T22:45:20Z","timestamp":1598222720000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8894261\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10]]},"references-count":8,"URL":"https:\/\/doi.org\/10.23919\/fmcad.2019.8894261","relation":{},"subject":[],"published":{"date-parts":[[2019,10]]}}}