Новости


 
Издана книга


Бибило П. Н. Бинарные диаграммы решений в логическом проектировании. М.: ЛЕНАНД, 2024. 560 с. Рассматривается применение аппарата бинарных диаграмм решений (англ. Binary Decision Diagram, BDD) для минимизации многоуровневых представлений систем полностью и не полностью определенных булевых функций. Дается классификация BDD, предлагаются модификации BDD и методы минимизации сложности различных видов BDD представлений, а также методы декомпозиции систем булевых функций, заданных в виде BDD. Приводятся результаты экспериментальных исследований применения технологически независимой минимизации BDD представлений и декомпозиции BDD при проектировании логических схем в технологических базисах цифровых заказных сверхбольших интегральных схем и программируемых логических интегральных схем.

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

13.02.2024


Издана книга


П.Н. Бибило, Н.А. Авдеев "Моделирование и верификация цифровых систем на языке VHDL"   Рассматриваются подготовка тестирующих программ, моделирование и верификация VHDL-описаний проектов цифровых систем, реализуемых на элементной базе сверхбольших интегральных схем и систем на кристалле. Приводятся пошаговые маршруты выполнения различных видов моделирования в системе Questa Sim. Описываются стандарт VHDL’2008 языка VHDL и ориентированный на верификацию язык PSL (язык ассертов) для записи утверждений о свойствах поведения проектируемых цифровых систем. Включено большое число примеров, которые могут быть использованы для совершенствования навыков практической работы в системе Questa Sim при промышленном проектировании. Для студентов, магистрантов и аспирантов, изучающих языки VHDL и PSL и их применение в системах автоматизированного проектирования, а также для специалистов, занимающихся проектированием цифровых систем. Ил. 125, табл. 32, библиогр.: 22 назв.

05.04.2017


Обновление сайта

Уважаемые посетители сайта!

18.12.2014


В издательстве «Беларуская навука» издана книга

Бибило П.Н. Применение диаграмм двоичного выбора при синтезе логических схем. – Минск: Беларуская навука, 2014. – 231 с.

В книге рассматривается применение аппарата диаграмм двоичного выбора, (англ. Binary Decision Diagrams, BDD), для минимизации многоуровневых представлений булевых функций и систем. Предлагаются методы декомпозиции систем булевых функций, заданных в виде BDD. Описываются матричные формы и BDD представления на языке VHDL, являющемся входным языком современных систем автоматизированного проектирования цифровых устройств. VHDL представления были использованы при экспериментальных исследованиях предложенных методов и алгоритмов минимизации и декомпозиции BDD. Эксперименты заключались в оценках эффективности применения процедур BDD оптимизации при синтезе логических схем в базисах библиотек проектирования заказных СБИС и FPGA.
Рассчитана на научных сотрудников, разработчиков систем автоматизированного проектирования, аспирантов и студентов соответствующих специальностей.

07.10.2014


Обновление на сайте

Уважаемые посетители сайта!

24.10.2013


Контактная информация:

Автор идеи и контента: Бибило П.Н.
Разработчики: Голанов В.А., Зарембо Д.В.
На основе Wordpress CMS

Статистика за сегодня:

Сайт размещен на сервере ОИПИ НАН Беларуси