Повышение быстродействия логических схем за счет выявления неисправностей задержек путей с последующим их маскированием и определения ложных путей (на основе использования операций над ROBDD-графами) : диссертация на соискание ученой степени кандидата технических наук : 05.13.01.