Поиск по сайту
Авторизация
Зачем нужна регистрация?
Логин:
Пароль:
Регистрация
Забыли свой пароль?
Для сотрудников ОИПИ
Типовые документы 

просим принять участие в опросезаполнить анкету

Проекты

В настоящее время лаборатория выполняет следующие проекты:

  • Разработка моделей и методов для систем поддержки принятия решений при автоматизации проектирования и управления сложными техническими объектами;
  • Разработать экспериментальный программный комплекс автоматизации логического проектирования заказных комплементарных металл-оксид-полупроводниковых сверхбольших интегральных схем (КМОП СБИС) для космического применения с учетом площади кристалла и рассеивания потребляемой мощности;
  • Разработать и внедрить комплекс программных средств автоматизации работы с кадрами видеоизображения  топологии СБИС с использованием аппаратного ускорения;
  • Разработка устройств модулярной арифметики;
  • Снижение энергопотребления цифровых СБИС на основе оптимизации их функциональных и структурных описаний;
  • Разработать программный комплекс  проектирования топологии иерархически организованных сетей макроэлементов заказных цифровых СБИС;
  • Разработать систему синтеза конвейерных логических схем.

Основные выполненные проекты Фонда Фундаментальных исследований Республики Беларусь:
  1. Кремниевый компилятор блоков управляющей логики заказных СБИС.
  2. Теория синтеза дискретных управляющих систем в элементной базе настраиваемых (программируемых) логических интегральных схем (ПЛИС) (проект Т95-004).
  3. Эффективный логический вывод в базах данных и знаний распознающих систем. (проект Т95-225).
  4. Матричные логические уравнения (методы комбинаторного поиска оптимальных решений.
  5. Логическое проектирование полузаказных СБИС на основе базовых матричных кристаллов (Т98-034).
  6. Решение больших систем логических уравнений  (проект Т00-024).
  7. Верификация многоуровневых схем на базе решения задачи “выполнимость” проект (Т03-040).
  8. Реализация алгоритмов управления на сверхбольших интегральных схемах (СБИС) (проект № Т03МС-011).
  9. Разработка и схемная реализация параллельных алгоритмов логического управления.
  10. Представление знаний в системах автоматизированного проектирования дискретных устройств (проект № Т05–258). 
  11. Топологическое проектирование устройств управления заказных сверхбольших интегральных схем (СБИС) ( проект Т06Р–092).
  12. Минимизация площади заказных СБИС, реализующих цифровые схемы (проект Ф09К-025).
  13. Разработка устройств модулярной арифметики (проект БРФФИ Ф15РМ-027).
  14. Аппаратные вычисления над большими числами на основе алгоритмов модулярной арифметики (совместный проект БРФФИ и РФФИ Ф15РМ-027).