Augmented Checkability of LUT-oriented Circuits in FPGA-based Components of Safety-Related Systems. - Oleksandr Drozd; Illya Baskov; Oleksandr Martynyuk; Kostiantyn Zashcholkin; Myroslav Drozd (IntelITSIS, 2022)