We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.LO

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Logic in Computer Science

Title: Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications

Abstract: We present Syntroids, a case study for the automatic synthesis of hardware from a temporal logic specification. Syntroids is a space shooter arcade game realized on an FPGA, where the control flow architecture has been completely specified in Temporal Stream Logic (TSL) and implemented using reactive synthesis. TSL is a recently introduced temporal logic that separates control and data. This leads to scalable synthesis, because the cost of the synthesis process is independent of the complexity of the handled data.
In this case study, we report on our experience with the TSL-based development of the Syntroids game and on the implementation quality obtained with synthesis in comparison to manual programming. We also discuss solved and open challenges with respect to currently available synthesis tools.
Subjects: Logic in Computer Science (cs.LO); Hardware Architecture (cs.AR)
Cite as: arXiv:2101.07232 [cs.LO]
  (or arXiv:2101.07232v1 [cs.LO] for this version)

Submission history

From: Felix Klein [view email]
[v1] Mon, 18 Jan 2021 18:35:25 GMT (4022kb,D)

Link back to: arXiv, form interface, contact.