Maryna Miroshnyk, Alexander Shkil, Elvira Kulak, Dariia Rakhlis, Inna Filippenko, Anatolii Miroshnyk. Verification of FPGA control systems by analyzing the correctness of state diagrams. In 11th IEEE International Conference on Dependable Systems, Services and Technologies, DESSERT 2020, Kyiv, Ukraine, May 14-18, 2020. pages 85-89, IEEE, 2020. [doi]
Abstract is missing.