Novel Methods for Synthesizing Self-Checking Combinational Circuits by Means of Boolean Signal Correction and Polynomial Codes. - Dmitry V. Efanov; Ruslan B. Abdullaev; Dmitry Plotnikov; Marina V. Bolsunovskaya; Alexey S. Odoevsky; Georgy S. Vasilyanov (Comput., 2024)