47 citations · 137 across the 13 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021
Live Synthesis
Bernd Finkbeiner, Felix Klein, Niklas Metzger
Synthesis automatically constructs an implementation that satisfies a given logical specification. In this paper, we study the live synthesis problem, where the synthesized impleme…
cs.LO2021
Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications
Gideon Geier, Philippe Heim, Felix Klein +1
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…