Громов М.Л., Прокопенко С.А., Лапутенко А.В. Синтез и оптимизация цифровых схем. Часть 2. Работа с системой ABC

Учебно-методическое пособие. – Томск: Томский государственный университет, 2018. — 18 с.В настоящем учебно-методическом пособии даются базовые понятия теории цифровых схем, описываются две основные модели цифровых схем (логическая схема и система булевых функций), описываются форматы представления цифровых схем. Описывается работа с системой ABC, которая позволяет делать основные манипуляции со схемами, в том числе и оптимизировать их, и проверять на эквивалентность. Каждый раздел пособия содержит задания для самостоятельного решения. Для студентов кафедры информационных технологий в исследовании дискретных структур (ИТИДиС) РФФ ТГУ, изучающих курс «Дискретная математика», а также для всех интересующихся данной темой.\.Введение.
Цифровая схема. Модели цифровых схем.
Классы цифровых схем.
Логическая схема.
Система булевых функций.
Модели цифровых схем.
Форматы представления схем.
Формат .BENCH.
Формат .BLIF.
Другие форматы.
Задания для самостоятельной работы.
Система ABC.
Установка, настройка и запуск системы ABC.
Работа с файлами в системе ABC.
Оптимизация схем с помощью ABC.
Проверка эквивалентности двух схем.
Построение тестов.
Задания для самостоятельной работы.
Оптимизировать схемы, построенные в предыдущем разделе.
Убедиться, что оптимизированные схемы эквивалентны исходным схемам.
Внести в каждую схему по одной константной неисправности и построить тест, обнаруживающий данную неисправность.
Используемая литература.