Kaiserstraße 170-174 66386 St. Ingbert (Germany)
Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications
Formal Methods in Computer Aided Design, FMCAD
