|
Книги Бибило П.Н.
|
|
|
Бибило П. Н. Бинарные диаграммы решений в логическом проектировании. – М.: ЛЕНАНД, 2024. – 560 с.
автор: Бибило Петр Николаевич
|
Рассматривается применение аппарата бинарных диаграмм решений (англ. Binary Decision Diagram, BDD) для минимизации многоуровневых представлений систем полностью и не полностью определенных булевых функций. Дается классификация BDD, предлагаются модификации BDD и методы минимизации сложности различных видов BDD представлений, а также методы декомпозиции систем булевых функций, заданных в виде BDD. Приводятся результаты экспериментальных исследований применения технологически независимой минимизации BDD представлений и декомпозиции BDD при проектировании логических схем в технологических базисах цифровых заказных сверхбольших интегральных схем и программируемых логических интегральных схем.
Рассчитана на научных сотрудников, разработчиков систем автоматизированного проектирования, аспирантов и студентов соответствующих специальностей. |
|
Функциональная верификация VHDL-описаний синхронных цифровых устройств – М.: ЛЕНАНД, 2020. – 328 с.
авторы: Бибило Петр Николаевич, Авдеев Николай Александрович, Романов Владимир Ильич
|
Рассматриваются проблемы функциональной верификации проектов синхронных цифровых устройств, представленных на языке VHDL, который широко используется в качестве языка исходного описания проектов при создании электронной аппаратуры на современной элементной базе сверхбольших интегральных схем и систем-на-кристалле. Под функциональной верификацией понимается проверка соответствия VHDL-описаний проектов спецификациям на проектирование. Основное внимание уделяется верификации VHDL-описаний блоков управляющей логики и сложных функциональных блоков, а также подготовке компактных функциональных тестов.
Включено большое число примеров, которые могут быть использованы для совершенствования навыков написания VHDL-программ и навыков практической работы в системе Questa Sim при промышленном проектировании.
Для студентов, магистрантов и аспирантов, изучающих язык VHDL и его применение в системах автоматизированного проектирования, а также для специалистов, занимающихся проектированием цифровых устройств и систем.
Ил. 61, табл. 55, библиогр.: 73 назв. |
|
Моделирование и верификация цифровых систем на языке VHDL. – М.: ЛЕНАНД, 2017. – 344 с.
авторы: П.Н.Бибило, Н.А.Авдеев
|
Рассматриваются подготовка тестирующих программ, моделирование и верификация VHDL-описаний проектов цифровых систем, реализуемых на элементной базе сверхбольших интегральных схем и систем на кристалле. Приводятся пошаговые маршруты выполнения различных видов моделирования в системе Questa Sim. Описываются стандарт VHDL’2008 языка VHDL и ориентированный на верификацию язык PSL (язык ассертов) для записи утверждений о свойствах поведения проектируемых цифровых систем. Включено большое число примеров, которые могут быть использованы для совершенствования навыков практической работы в системе Questa Sim при промышленном проектировании.
Для студентов, магистрантов и аспирантов, изучающих языки VHDL и PSL и их применение в системах автоматизированного проектирования, а также для специалистов, занимающихся проектированием цифровых систем.
Ил. 125, табл. 32, библиогр.: 22 назв. |
 |
Основы языка VHDL. 2-е изд. – М.: Солон-Р, 2002. – 224 с.
автор: Бибило П.Н. |
| Описывается применение языка VHDL на алгоритмическом и логическом уровнях проектирования цифровых систем. Язык VHDL является международным стандартом в системах автоматизации проектирования и предназначен для спецификации, моделирования и синтеза цифровых систем на основе заказных и программируемых пользователями сверхбольших интегральных схем.Книга предназначена для первоначального ознакомления с языком VHDL и может быть полезна студентам, аспирантам и специалистам, занимающимся разработкой электронной аппаратуры с помощью средств САПР.
Рецензенты:
доктор технических наук А.А. Петровский
доктор технических наук А.А. Прихожий
кандидат технических наук Д.И. Черемисинов
Листинги из книги |
 |
Синтез логических схем с использованием языка VHDL – М.: Солон-Р, 2002. – 384 с.
автор: Бибило П.Н. |
Рассматриваются теоретические основы синтеза логических схем по спецификациям на высокоуровневом языке VHDL, предназначенном для проектирования цифровых систем, описывается “синтезируемое” подмножество языка VHDL в системе автоматического синтеза Leonardo, приводятся примеры синтезируемых (схемно реализуемых) конструкций языка и примеры синтезируемых описаний типовых схем, изучается проблема эффективного управления процессом синтеза. Язык VHDL является международным стандартом в системах автоматизации проектирования и предназначен для спецификации, моделирования и синтеза цифровых систем на основе заказных и программируемых пользователями сверхбольших интегральных схем.Книга предназначена для первоначального ознакомления как с языком VHDL, так и c проблемой синтеза схем по спецификациям на языке VHDL. Может быть полезна студентам, аспирантам и специалистам, занимающимся разработкой электронной аппаратуры с помощью средств САПР.
Рецензент: кандидат физико-математических наук Ю.В. ПоттосинЛистинги из книги |
 |
Cистемы проектирования интегральных схем на основе языка VHDL. StateCAD, ModelSim, LeonardoSpectrum. – М.: СОЛОН-Пресс, 2005. – 384 с.
автор: Бибило П.Н. |
| В книге излагаются основы высокоуровневого проектирования цифровых сверхбольших интегральных схем (СБИС) типа программируемых логических интегральных схем (ПЛИС) и заказных СБИС в системах проектирования StateCAD, ModelSim, LeonardoSpectrum. Высокоуровневое (алгоритмическое и логическое) проектирование ведется на основе языка VHDL. Система StateCAD является системой подготовки проектов, ModelSim – система моделирования, LeonardoSpectrum – система синтеза логических схем. Рассматривается также проблема перевода проектов, реализованных на ПЛИС, в заказные и полузаказные СБИС на основе базовых матричных кристаллов.Книга предназначена для специалистов, занимающихся проектированием цифровых систем, может быть полезна студентам и аспирантам, изучающим язык VHDL и его применение в системах автоматизированного проектирования.
Листинги из книги |
 |
VHDL. Эффективное использование при проектировании цифровых систем – М.: СОЛОН-Пресс, 2006. – 344 с.
авторы: Бибило П.Н., Авдеев Н.А. |
| Рассматриваются наиболее распространенные на практике пакеты STD_LOGIC_1164, NUMERIC_STD, EXEMPLAR_1164, TEXTIO, STD_LOGIC_TEXTIO, VITAL языка VHDL и их использование при проектировании цифровых систем на элементной базе сверхбольших интегральных схем, в том числе базовых матричных кристаллов. Приведены примеры и маршруты проектирования с использованием системы ModelSim моделирования и системы LeonardoSpectrum синтеза логических схем по алгоритмическим VHDL-описаниям цифровых систем.Предназначена для специалистов, занимающихся проектированием цифровых систем и знакомых с основными элементами языка VHDL, может быть полезна студентам и аспирантам, изучающим язык VHDL и его применение в системах автоматизированного проектирования.
Листинг из книги |
 |
Основы языка VHDL: Учебное пособие. Издание 5-е. – М.: Книжный дом «ЛИБРОКОМ», 2012. – 328 с.
автор: Бибило П.Н. |
Настоящая книга посвящена языку VHDL, который является международным стандартом в системах автоматизации проектирования и предназначен для спецификации, моделирования и синтеза цифровых систем на основе заказных и программируемых пользователями сверхбольших интегральных схем. Описывается применение языка VHDL на алгоритмическом и логическом уровнях проектирования цифровых систем. После каждой главы представлены вопросы, задачи и упражнения для самостоятельной работы. Заключительная глава книги содержит методические материалы, взятые из практики преподавания языка VHDL в университетах.
Книга предназначена для первоначального ознакомления с языком VHDL и может быть полезна студентам, аспирантам и специалистам, занимающимся разработкой электронной аппаратуры с помощью средств САПР.Листинги из книги |
 |
Задачи по проектированию логических схем c использованием языка VHDL. – М.: Изд-во ЛКИ, 2010. – 328 с.
автор: Бибило П.Н. |
Предлагаются задачи как по теоретическим основам проектирования – анализа, синтеза, моделирования и верификации логических схем, так и по разработке алгоритмических и структурных спецификаций логических схем на языке VHDL, являющемся стандартным языком описания проектов цифровых интегральных схем в современных САПР.
Сборник задач рассчитан на студентов и аспирантов соответствующих специальностей. |
|
|
