Логическая оптимизация последовательных схем (1183902)

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла

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

Характеристики

Тип файла PDF

PDF-формат наиболее широко используется для просмотра любого типа файлов на любом устройстве. В него можно сохранить документ, таблицы, презентацию, текст, чертежи, вычисления, графики и всё остальное, что можно показать на экране любого устройства. Именно его лучше всего использовать для печати.

Например, если Вам нужно распечатать чертёж из автокада, Вы сохраните чертёж на флешку, но будет ли автокад в пункте печати? А если будет, то нужная версия с нужными библиотеками? Именно для этого и нужен формат PDF - в нём точно будет показано верно вне зависимости от того, в какой программе создали PDF-файл и есть ли нужная программа для его просмотра.

Список файлов лекций