Checkability Important for Fail-Safety of FPGA-based  Components in Critical Systems In IntelITSIS?2021: 2nd International Workshop on Intelligent Information Technologies and Systems of Information Security. Khmelnytskyi, Ukraine, 2021.