Разработан и программно реализован алгоритм для моделирования цифровых схем на основе последовательно-параллельных диаграмм двоичных решений (SP-BDD), а также введено понятие последовательно-параллельных диаграмм
троичных решений (SP-TDD), которые позволяют учитывать неопределенное состояние сигнала при моделировании. Проведены моделирование и оптимизация цифровых микроконвейерных КМОП схем, спроектированых
в базисах стандартных ячеек и ПЛИС\СБМК. Проведен сравнительный
анализ полученных результатов с результатами синтеза программами
Design Compiler компании Synopsys и XilinX ISE компании Xilinx.
Разработанные алгоритмы и методы внедрены в ЗАО «ПКК Миландр»,
ОАО «Ангстрем», а также включены в учебный процесс НИУ «МИЭТ».