Бибило

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

В монографии рассматривается применение аппарата диаграмм двоичного выбора (Binary Decision Diagrams, BDD) для минимизации многоуровневых представлений булевых функций и систем; предлагаются методы декомпозиции систем булевых функций, заданных в виде BDD; приводятся результаты экспериментальных исследований применения технологически независимой минимизации и декомпозиции BDD при синтезе логических схем в различных технологических базисах. Адресуется научным сотрудникам, разработчикам систем автоматизированного проектирования, аспирантам и студентам соответствующих специальностей.

Задачи по проектированию логических схем с использованием языка VHDL, Бибило П.Н., 2010.

Предлагаемая книга представляет собой сборник задач, вопросов и упражнений по проектированию логических схем, который ориентирован на ликвидацию разрыва между теоретическими и практическими учебными курсами по автоматизированному проектированию. Сборник содержит задачи как по теоретическим основам проектирования — анализу, синтезу, моделированию и верификации логических схем, так и по разработке алгоритмических и структурных спецификаций логических схем на языке VHDL, являющемся стандартным языком описания проектов цифровых интегральных схем в современных системах автоматизированного проектирования (САПР).
Сборник задач рассчитан на студентов и аспирантов соответствующих специальностей.