Tommy Tracy II, Lucas M. Tabajara, Moshe Y. Vardi, Kevin Skadron. Runtime Verification on FPGAs with LTLf Specifications. In 2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020. pages 36-46, IEEE, 2020. [doi]
Abstract is missing.