Содержание
- Введение 1
- Основы прикладной теории цифровых автоматов 2
- - Типы цифровых автоматов 2.1
- - Методы описания автоматов 2.2
- - Минимизация цифровых автоматов 2.3
- Методы проектирования цифровых автоматов 3
- - Синтез автоматов по спецификациям 3.1
- - Оптимизация автоматов 3.2
- - Проектирование автоматов с использованием языков описания аппаратуры 3.3
- Анализ и верификация цифровых автоматов 4
- - Тестирование цифровых автоматов 4.1
- - Формальная верификация 4.2
- - Методы обнаружения и устранения ошибок 4.3
- Примеры практического проектирования цифровых автоматов 5
- - Проектирование автомата управления светофором 5.1
- - Автомат деления на 5 5.2
- - Автомат распознавания последовательности 5.3
- Заключение 6
- Список литературы 7