Чернышов С. В. Повышение быстродействия логических схем за счет выявления неисправностей задержек путей с последующим их маскированием и определения ложных путей (на основе использования операций над ROBDD-графами) : диссертация на соискание ученой степени кандидата технических наук : 05.13.01 / Чернышов Семен Владимирович ; науч. рук. Матросова А. Ю. ; Томский гос. ун-т. - Томск : [б. и.], 2022. - 127 л.: ил., табл.. URL: http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000897159