Логическая оптимизация последовательных схем (Логическая оптимизация последовательных схем.pdf)
Описание файла
PDF-файл из архива "Логическая оптимизация последовательных схем.pdf", который расположен в категории "". Всё это находится в предмете "математические модели и методы логического синтеза сверхбольших интегральных схем" из 9 семестр (1 семестр магистратуры), которые можно найти в файловом архиве МГУ им. Ломоносова. Не смотря на прямую связь этого архива с МГУ им. Ломоносова, его также можно найти и в других разделах. .
Просмотр PDF-файла онлайн
Текст из PDF
Лекция 7.Логическая оптимизацияпоследовательных схемМатематические модели и методы логическогосинтеза СБИСОсень 2015Уровень регистровых передачIf (START==1) NEXT0, SUM0;repeat {SUMSUM + Memory[NEXT+1];NEXTMemory[NEXT];} until (NEXT==0);RSUM, DONE1;Уровень регистровых передачD01NEXT_SEL+000SUM_SEL10LD_NEXTNEXT1LD_SUMA_SELSUM+==0NEXT_ZEROIf (START==1) NEXT0, SUM0;repeat {SUMSUM + Memory[NEXT+1];NEXTMemory[NEXT];} until (NEXT==0);RSUM, DONE1;1MemoryAМоделирование синхронных схем• Поведенческая модель– Описание устройства в виде конечного автомата– Можно использовать таблицы и диаграммы состояний– Основные задачи:• Минимизация числа состояний• Кодирование состояний• Структурная модель– Описание устройства в виде синхронной логическойсхемы (частный случай: схемы из функциональныхэлементов и элемента задержки)– Основные задачи:• Временная оптимизация (retiming)• Логическая оптимизацияСравнение поведенческого иструктурного моделирования• Поведенческая модель– Явное описание состояний системы– Невозможно рассчитать время срабатывания иплощадь системы• Структурная модель– Неявное описание состояний системы– Явная оценка времени срабатывания и площадисистемы• Связь между представлениями– Кодирование состояний (state encoding)– Извлечение состояний (state extraction)Этапы проектированияпоследовательных логических схем• Создание и оптимизация поведенческой(автоматной) модели– Оптимизация сложности модели за счетминимизации числа состояний• Создание и оптимизация структурной модели– Кодирование состояний для полученияструктурной модели– Применение структурных преобразований дляоптимизации задержки и сложности системы• Извлечение состояний для целейтестирования и верификацииФормальное определениеповеденческих (автоматных) моделей••••••••Множество входных символов Множество выходных символов Множество символов состояний Функция состояний:: × → Функция выходов:′: × → автомат Мили ′′ : → (автомат Мура)Инициальное состояние 0 ∈ Автомат Мили ′ = , , , , ′ , 0Автомат Мура ′′ = , , , , ′′ , 0.