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
2 code implementations • 1 Dec 2017 • Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
On the other hand, however, synthesis from TSL is scalable, because it is independent of the complexity of the handled data.
Logic in Computer Science