Отдел методологии
вычислительных процедур

Руководитель:
к.т.н. Тельпухов Дмитрий Владимирович

Основной задачей Отдела является выполнение фундаментальных научных исследований и прикладных разработок в области теоретических основ и методов математического моделирования для систем автоматизации проектирования интегральных схем высокой сложности.

Основные научные направления:

Исследование и разработка алгоритмов традиционной модулярной арифметики с целью создания библиотечных элементов как модульных так и немодульных операций.
 
Исследование и разработка модулярной логарифметики; формирование банка данных технологических модулей; компьютерное моделирование вычислительных процессов модулярной логарифметики как в классе модульных так и немодульных процедур.
 
Исследование и разработка алгоритмов машинной арифметики. Компьютерное моделирование в классе базовых процедур матричной алгебры над полем вещественных чисел.
 
Исследование и разработка рекурсивной модулярной арифметики в классе задач вычисления значений арифметических функций многих переменных.
 
Разработка вычислительных элементов модулярной арифметики разных типов.
 
Разработка архитектуры арифметического блока модулярного процессора с позиции сокращения аппаратных затрат на немодульные процедуры.
 
Разработка теоретических основ реализации процедур автономного компьютинга на универсальном вычислительном элементе модулярной арифметики.
 
Исследование и разработка компьютерной арифметики гиперкомплексных систем над полем Гауссовых чисел и чисел Гамильтона.
 
Исследование и разработка интрамодулярных систем счисления.
 

Главные результаты научной деятельности:

Генераторы Verilog описаний.
 
Результаты вычислительных экспериментов.
 
Справочные материалы.
 
Модулярная арифметика.
 
Сбоеустойчивость комбинаторных схем.