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