no code implementations • 18 Jan 2021 • Gideon Geier, Philippe Heim, Felix Klein, Bernd Finkbeiner
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.
Hardware Architecture