Syntroids：使用时序逻辑规范为FPGA合成游戏
Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications
摘要：
我们提出了Syntroids，一个案例研究的时间逻辑规范的硬件自动合成。Syntroids是一款在FPGA上实现的太空射击街机游戏，其中控制流架构已完全在时间流逻辑（TSL）中指定，并使用反应式合成实现。TSL是最近引入的一种分离控制和数据的时态逻辑。这导致了可扩展的合成，因为合成过程的成本与处理数据的复杂性无关。在这个案例研究中，我们报告我们的经验与基于TSL的开发的Syntroids游戏和实现质量与合成相比，手动编程。我们还讨论了解决和开放的挑战，目前可用的合成工具。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
