Громов М.Л., Прокопенко С.А. Синтез и оптимизация цифровых схем. Часть 1. BDD и операции над ними

Томск : Издательский Дом ТГУ, 2014. — 12 с.Учебно-методическое пособие является первой частью упражнений для самостоятельной работы студентов по современным подходам к синтезу и оптимизации цифровых схем.
Пособие предназначено для студентов кафедры информационных технологий в исследовании дискретных структур (ИТИДиС) РФФ НИ ТГУ, изучающих курсы «Теория автоматов», «Техническая диагностика», «Основы логического проектирования цифровых схем», «Верификация и тестирование аппартных компонентов телекоммуникационных систем», а также для всех интересующихся данной темой.