00677naa#a2200205#i#450# EN\\bibl\81835 20241124100044.7 2412-9186 20161225b2016####ek#y0engy0150####ca RUS RU Checking of combinational circuits, based on sum codes with one weighted data bit Journal article Saint-Petersburg FSBEI HE "Emperor Alexander I St. Petersburg State Transport University" 2016 33 с. Journal article local . 681.518.5:004.052.32 RUS Sapozhnikov Valery V Sapozhnikov Vladimir V Efanov Dmitry V atjournal.ru