Новости

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

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

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

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

• добавлена статья Введение в OS-VVM (Open Source VHDL Verification Methodology)
• размещены примеры программ VHDL'2008

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

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

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

• В меню добавлена ссылка на контрольные задания заочникам.
• Обновился файл документации Маршрут для ModelSim 6.1b на странице Работа в САПР/ModelSim. Маршрут для ModelSim 6.1b пригоден и для версии ModelSim 6.5, однако надо контролировать, чтобы флаг оптимизации в окне Start Simulation был отключен.