URSS.ru Магазин научной книги
Обложка Бибило П.Н. Задачи по проектированию логических схем с использованием языка VHDL Обложка Бибило П.Н. Задачи по проектированию логических схем с использованием языка VHDL
Id: 327688
959
Новинка недели!

Задачи по проектированию логических схем с использованием языка VHDL Изд. стереотип.

2025. 326 с.
Типографская бумага

Аннотация

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


Оглавление
top
Предисловие4
Список условных сокращений6
ЧАСТЬ 1. ТЕОРЕТИЧЕСКИЕ ОСНОВЫ ПРОЕКТИРОВАНИЯ ЛОГИЧЕСКИХ СХЕМ7
1. Булева алгебра. Булевы функции7
2. Логические формулы и схемы21
3. Равенство формул и функций28
4. Функциональная полнота33
5. Минимизация булевых функций36
6. Оптимизация многоуровневых представлений булевых функций. Синтез каскадных схем49
7. Синтез схем на основе факторизации и декомпозиции62
8. Моделирование логических схем70
9. Анализ логических схем77
10. Верификация логических схем83
11. Типовые комбинационные схемы. ПЛМ и ПЗУ103
12. Триггеры. Синтез автоматов116
13. Типовые схемы с памятью131
14. Обнаружение неисправностей логических схем133
ЧАСТЬ 2. ПРОЕКТИРОВАНИЕ ЛОГИЧЕСКИХ СХЕМ C ИСПОЛЬЗОВАНИЕМ ЯЗЫКА VHDL137
15. Язык VHDL137
16. VHDL-модели логических элементов156
17. VHDL-модели булевых функций167
18. Структурные описания логических схем173
19. Функционально-структурные описания логических схем192
20. Описание регулярных схем195
21. Алгоритмические описания210
22. VHDL-модели типовых комбинационных схем, ПЛМ и ПЗУ221
23. VHDL-модели схем с памятью223
24. Нахождение задержек комбинационных схем231
25. RTL-описания схем236
26. Автоматизированный синтез логических схем. VHDL-пакеты245
27. Тестирование и верификация VHDL-моделей289
28. Ответы, указания, решения295
29. Приложение321
Литература324

Предисловие
top

Применение булевой алгебры поставило проектирование логических (цифровых) схем на прочную теоретическую основу. С появлением электронной вычислительной техники формальные методы проектирования были алгоритмизированы и доведены до программ. Сначала были созданы программы, обеспечивающие решение наиболее трудоемких оптимизационных логико-комбинаторных задач. Затем появились экспериментальные и промышленные системы автоматизированного проектирования (САПР) цифровой аппаратуры и цифровых интегральных схем. Изучение огромного по объему материала по проектированию в университетах и вузах потребовало целого ряда учебных курсов и дисциплин. В отдельных курсах стали изучаться булева алгебра, цифровые автоматы, схемотехника логических элементов, проектирование с использованием САПР и т. д. В преподавании наметился разрыв между теоретическими и практическими курсами по автоматизированному проектированию. Тем не менее, работая с современными САПР цифровой аппаратуры и цифровых интегральных схем, важно уметь применять знания из теоретических курсов; с другой стороны, изучение теоретических основ желательно вести с учетом подготовки специалистов к работе с промышленными САПР.

Предлагаемый сборник задач, вопросов и упражнений по проектированию логических схем ориентирован на ликвидацию разрыва между теоретическими и практическими учебными курсами. Выбраны основные задачи, которые связывают теоретические и практические аспекты проектирования, – это задачи анализа, синтеза, моделирования и верификации логических схем. В первой, теоретической, части центральное место занимает задача логического синтеза, предлагаются задачи по нахождению и оптимизации различных форм представления булевых функций и автоматов. Вопросы и задачи по представлению функций, схем, алгоритмов даются также и во второй части сборника, посвященной использованию языка VHDL для описания проектов цифровых схем. Язык VHDL, наряду с языком Verilog, является основным языком описания проектируемых цифровых схем и систем. Это мощный современный язык проектирования. Практически все промышленные САПР цифровых интегральных схем имеют в своем составе средства работы с VHDL-проектами. Эффективность проектирования предполагает знание языка VHDL, поэтому наряду с задачами по разработке VHDL-спецификаций во второй части сборника предлагаются вопросы и упражнения непосредственно по языку VHDL. Заметим, что языку VHDL полностью посвящен русскоязычный интернет-сайт (www.bsuir.by/vhdl/), содержащий много методических материалов, в том числе список интернет-ресурсов по VHDL.

Большинство задач, в которых требуется описать структуру или поведение проектируемой логической схемы, не привязано к языку VHDL, создание спецификаций может быть выполнено и на языке Verilog.

Для удобства сборник имеет сквозную нумерацию разделов. Нумерация задач, рисунков, таблиц и формул привязывается к номеру раздела. Задачи повышенной трудности помечены символом "*". Перед некоторыми из разделов даются необходимые сведения, касающиеся используемой в задачах терминологии. В качестве однотипных (имеющих одинаковую постановку и различные исходные данные) выбраны базовые задачи, которые могут быть использованы для проверочных и самостоятельных работ. В книгах из приведенного списка литературы можно найти все теоретические сведения, требующиеся для решения задач.

В ответах содержатся примеры решений, указания, методические рекомендации, ссылки на литературу.

Автор выражает благодарность рецензентам В. П. Супруну и А. А. Иванюку за полезные замечания, способствовавшие улучшению содержания книги, а также О. В. Клачко за помощь в подготовке иллюстраций.


Об авторе
top
photoБибило Петр Николаевич
Доктор технических наук, профессор. Его основные научные работы относятся к теории дискретных устройств и автоматизации проектирования дискретных устройств и цифровых сверхбольших интегральных схем (СБИС), применению методов искусственного интеллекта в системах автоматизированного проектирования (САПР). Считает, что успешное развитие микроэлектроники связано с разработкой и внедрением в практику проектирования новых архитектур САПР, использующих экспертные знания о маршрутах и объектах проектирования. Руководствуется тем, что разработка отечественных САПР должна вестись с учетом их интеграции с зарубежными САПР. Является инициатором создания русскоязычного Интернет-сайта по языку VHDL.