Предлагаемые направления сотрудничества

1. Технологически независимая оптимизация комбинационных блоков заказных цифровых СБИС (минимизация систем булевых функций, оптимизация многоуровневых представлений на основе BDD)

Для минимизации булевых функций в классе дизъюнктивных нормальных форм (ДНФ) предлагается рассмотреть важный практический случай минимизации систем слабоопределенных булевых функций, заданных на наборах значений аргументов. Для оптимизации многоуровневых представлений систем функций на основе BDD предлагается разрабатывать эвристические методы и программы, которые позволят решать большие по размерности задачи, по сравнению с методами, известными в литературе.

2. Декомпозиция булевых функции и систем функций

Предполагается разрабатывать методы и программы декомпозиции для систем слабоопределенных булевых функций на основе решения логических уравнений. Для систем полностью определенных функций важной является задача выбора разбиения переменных, по которому проводится декомпозиция. Выбор разбиения переменных предлагается решать с использованием BDD.

3. Решение логических уравнений

Предполагается разработка методов и программ для решения «больших» систем логических уравнений, содержащих сотни переменных и уравнений. Особенностью таких систем является то, что каждое из уравнений зависит от небольшого числа переменных. К таким уравнениям сводятся разнообразные задачи, возникающие в области логического проектирования цифровых схем. Важное внимание предполагается уделить также решению систем линейных логических уравнений.

4. Минимизация площади ПЛМ на основе свертки

Предполагается разработка методов и программ минимизации площади ПЛМ на этапе топологической оптимизации на основе свертки (folding) с учетом разнообразных технологических ограничений. Данные методы легко обобщаются на другие матричные структуры, имеющие регулярную топологию и реализуемые в составе в заказных цифровых СБИС.

5. Оптимизация RTLописаний, представленных на языке VHDL

Как показали многочисленные эксперименты (Bibilo P.N., Romanov V. I. New experiments on iterative synthesis of combinational circuits // Russian Microelectronics. - 2008. – V. 37. - N 3. - P. 201-212.) предварительное «укрупнение» RTL-описаний и последующая минимизация полученных блоков в классе ДНФ позволяют значительно улучшить результаты работы промышленного синтезатора логических схем LeonardoSpectrum (MentorGraphics). Предполагается разработка программ предварительной оптимизации RTL-описаний комбинационных логических схем для синтезатора LeonardoSpectrum.

6. Синтез регулярных структур для заказных СБИС : от VHDL до послойной топологии

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

7. Верификация логических описаний

Предполагается разработка комплекса методов, алгоритмов и программ, обеспечивающих эффективное решение задачи верификации описаний проектируемых устройств на логическом уровне и позволяющих обнаруживать ошибки проектирования на ранних его этапах. В частности задача верификации может рассматриваться для более общего случая, когда одно или оба сравниваемых логических описания функционально не полностью определены.

8. Применение методов искусственного интеллекта для логического проектирования цифровых СБИС

В предлагаемой технологии процесс проектирования будет заключаться в выборе текущего объекта и проведении над ним некоторого проектного преобразования. Набор возможных преобразований будет определяться включаемыми в САПР программными модулями, реализующими проектные операции. Для САПР с интеллектуальной поддержкой предлагается использовать логический вывод с использованием продукций. Условия применимости продукций будут представлять предикаты, аргументами которых являются атрибуты. Продукции сгруппируются в иерархически организованные стратегии. В качестве разделов базы знаний выступают атрибуты, программные модули, программное динамическое меню, а также продукции и стратегии.