Syntroids：使用时态逻辑规约综合用于FPGA的游戏
计算机科学中的逻辑
2021-01-19 v1 硬件体系结构
摘要
我们提出Syntroids，一个从时态逻辑规约自动综合硬件的案例研究。Syntroids是一个在FPGA上实现的太空射击街机游戏，其控制流架构完全在时态流逻辑(Temporal Stream Logic, TSL)中规约并使用反应式综合实现。TSL是最近引入的一种将控制与数据分离的时态逻辑。这带来了可扩展的综合，因为综合过程的代价与所处理数据的复杂度无关。在本案例研究中，我们报告了使用基于TSL开发Syntroids游戏的经历，以及通过综合相对于手工编程所获得的实现质量。我们还讨论了当前可用综合工具已解决和未解决的挑战。
引用
@article{arxiv.2101.07232,
title = {Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications},
author = {Gideon Geier and Philippe Heim and Felix Klein and Bernd Finkbeiner},
journal= {arXiv preprint arXiv:2101.07232},
year = {2021}
}