Эмиссия газов от очистных сооружений канализации: В последние годы внимание мирового сообщества сосредоточено на экологических проблемах...
Таксономические единицы (категории) растений: Каждая система классификации состоит из определённых соподчиненных друг другу...
Топ:
Процедура выполнения команд. Рабочий цикл процессора: Функционирование процессора в основном состоит из повторяющихся рабочих циклов, каждый из которых соответствует...
Когда производится ограждение поезда, остановившегося на перегоне: Во всех случаях немедленно должно быть ограждено место препятствия для движения поездов на смежном пути двухпутного...
Интересное:
Уполаживание и террасирование склонов: Если глубина оврага более 5 м необходимо устройство берм. Варианты использования оврагов для градостроительных целей...
Искусственное повышение поверхности территории: Варианты искусственного повышения поверхности территории необходимо выбирать на основе анализа следующих характеристик защищаемой территории...
Принципы управления денежными потоками: одним из методов контроля за состоянием денежной наличности является...
Дисциплины:
2017-06-20 | 214 |
5.00
из
|
Заказать работу |
|
|
ТИПОВЫЕ СХЕМЫ ОПИСАНИЯ ДЛЯ ПОСТРОЕНИЯ МОДЕЛЕЙ ЦИФРОВЫХ УСТРОЙСТВ
УРОВЕНЬ ПРОЕКТИРОВАНИЯ | ТИПОВАЯ СХЕМА ОПИСАНИЯ |
1. ВЫЧИСЛИТЕЛЬНЫЕ СИСТЕМЫ И КОМПЛЕКСЫ | СИСТЕМА МАССОВОГО ОБСЛУЖИВАНИЯ |
2. СЕТИ ПЕРЕДАЧИ ДАННЫХ (ЛВС) | УПРАВЛЯЕМЫЙ ПОТОК ДАННЫХ, СЕТИ ПЕТРИ |
3. УСТРОЙСТВО | АЛГОРИТМ МИКРОПРОГРАММЫ |
4. УЗЕЛ | КОМПОЗИЦИЯ КОНЕЧНЫХ АВТОМАТОВ, ТАБЛИЦЫ, ГРАФЫ ПЕРЕХОДОВ |
5. КОМБИНАЦИОННЫЕ И ПОСЛЕДОВАТЕЛЬНОСТНЫЕ ЛОГИЧЕСКИЕ СХЕМЫ | ЛОГИЧЕСКИЕ УРАВНЕНИЯ,ХАРАКТЕРИСТИЧЕСКИЕ УРАВНЕНИЯ, ТАБЛИЦЫ ИСТИННОСТИ, ТАБЛИЦЫ ПЕРЕХОДОВ |
ФУНКЦИОНАЛЬНО - ЛОГИЧЕСКОЕ ПРОЕКТИРОВАНИЕ
• СООТВЕТСТВУЕТ УРОВНЯМ № 3-5 (СЛАЙД №22)
• ПРИ ФОРМИРОВАНИИ МОДЕЛЕЙ ДЛЯ ЭТОГО УРОВНЯ ДВА ПОДХОДА:
ОСОБЕННОСТИ ФУНКЦИОНАЛЬНОГО (ПОВЕДЕНЧЕСКОГО) ПОДХОДА
МОДЕЛЬ ПОВЕДЕНЧЕСКОГО УРОВНЯ МОЖЕТ СЛУЖИТЬ В КАЧЕСТВЕ ФОРМАЛЬНОГО ОПИСАНИЯ ЦИФРОВОГО УСТРОЙСТВА ПРИ СОСТАВЛЕНИИ ТЕХНИЧЕСКОГО ЗАДАНИЯ НА ПРОЕКТИРОВАНИЕ НОВОГО ИЛИ МОДЕРНИЗИРУЕМОГО ОБЪЕКТА (ОСНОВНАЯ ИДЕЯ ЯЗЫКА МНОГОУРОВНЕВОГО ОПИСАНИЯ ЦИФРОВОЙ АППАРАТУРЫ – VHDL)
ЛОГИЧЕСКОЕ МОДЕЛИРОВАНИЕ
ЛОГИЧЕСКОЕ МОДЕЛИРОВАНИЕ – СПОСОБ ИСКУССТВЕННОГО, ПРИБЛИЖЕННОГО ВОСПРОИЗВЕДЕНИЯ РАБОТЫ ЛОГИЧЕСКИХ СХЕМ ПРИ ПОМОЩИ ПРОГРАММ, ВЫПОЛНЯЕМЫХ КОМПЬЮТЕРОМ
ВИДЫ ЛОГИЧЕСКОГО МОДЕЛИРОВАНИЯ
РЕШАЕМЫЕ ЗАДАЧИ
|
• СИНХРОННОЕ МОДЕЛИРОВАНИЕ – ФУНКЦИОНАЛЬНАЯ ВЕРИФИКАЦИЯ, ПОИСК ГРУБЫХ ОШИБОК ПРОЕКТИРОВАНИЯ
• АСИНХРОННОЕ МОДЕЛИРОВАНИЕ – ВРЕМЕННАЯ ВЕРИФИКАЦИЯ, ДИНАМИЧЕСКИЙ ВРЕМЕННОЙ АНАЛИЗ, КОНТРОЛЬ ПРАВИЛЬНОСТИ ПОДАЧИ ВХОДНЫХ ВОЗДЕЙСТВИЙ НА ЭЛЕМЕНТЫ ХРАНЕНИЯ СИНХРОННЫХ СХЕМ
• МОДЕЛИРОВАНИЕ НЕИСПРАВНОСТЕЙ – АНАЛИЗ ПОЛНОТЫ КОНТРОЛИРУЮЩИХ ТЕСТОВ ДЛЯ ЗАДАННОГО КЛАССА НЕИСПРАВНОСТЕЙ (ОДИНОЧНЫЕ КОНСТАНТНЫЕ НЕИСПРАВНОСТИ)
СТАТИЧЕСКИЙ ВРЕМЕННОЙ АНАЛИЗ (СВА)
• ЦЕЛЬ – ОПЕРАТИВНАЯ ОЦЕНКА БЫСТРОДЕЙСТВИЯ СХЕМЫ
• СХЕМА ПРЕДСТАВЛЯЕТСЯ В ВИДЕ ОРИЕНТИРОВАННОГО ВЗВЕШЕННОГО ГРАФА
• ВЕРШИНЫ – УЗЛЫ СХЕМЫ (ВХОДЫ И ВЫХОДЫ ЭЛЕМЕНТОВ)
• ДУГИ ОПРЕДЕЛЯЮТСЯ ЛОГИКОЙ РАБОТЫ И ИМЕЮТ ВЕСА, РАВНЫЕ ЗАДЕРЖКАМ РАСПРОСТРАНЕНИЯ СИГНАЛОВ МЕЖДУ УЗЛАМИ (ЗАДЕРЖКИ ПЕРЕКЛЮЧЕНИЯ ЭЛЕМЕНТОВ И ЗАДЕРЖКИ В ЛИНИЯХ СВЯЗИ)
• ЗАДАЧА – ОТЫСКАТЬ КРИТИЧЕСКИЕ ПУТИ – ПУТИ В ГРАФЕ ОТ ВХОДОВ СХЕМЫ ДО ЕЕ ВЫХОДОВ С МАКСИМАЛЬНЫМИ СУММАРНЫМИ ЗАДЕРЖКАМИ, КОТОРЫЕ БУДУТ ОПРЕДЕЛЯТЬ БЫСТРОДЕЙСТВИЕ СХЕМЫ
• ПРОБЛЕМА – ОПРЕДЕЛЕНИЕ ЛОЖНЫХ ПУТЕЙ, КОТОРЫЕ НИКОГДА НЕ АКТИВИРУЮТСЯ ПРИ ВЫПОЛНЕНИИ АЛГОРИТМА РАБОТЫ ВЫЧИСЛИТЕЛЬНОЙ СИСТЕМЫ (ПЕССИМИСТИЧЕСКАЯ ОЦЕНКА БЫСТРОДЕЙСТВИЯ – ЛОГИКА РАБОТЫ СХЕМЫ НЕ УЧИТЫВАЕТСЯ)
• АЛЬТЕРНАТИВА – ДИНАМИЧЕСКИЙ ВРЕМЕННОЙ АНАЛИЗ – СУЩЕСТВЕННО БОЛЕЕ ТРУДОЕМКАЯ ПРОЦЕДУРА
ПОСТРОЕНИЕ МОДЕЛИ ЦИФРОВОГО УСТРОЙСТВА ДЛЯ СТАТИЧЕСКОГО ВРЕМЕННОГО АНАЛИЗА
В ОРИЕНТИРОВАННОМ ВЗВЕШЕННОМ ГРАФЕ ВЕС ДУГИ ОПРЕДЕЛЯЕТ ЗАДЕРЖКУ ПЕРЕКЛЮЧЕНИЯ СИГНАЛА ВО ВХОДЯЩЕМ УЗЛЕ ОТНОСИТЕЛЬНО ПЕРЕКЛЮЧЕНИЯ В ИСХОДЯЩЕМ УЗЛЕ. ТАК КАК ЗАДЕРЖКИ ПЕРЕКЛЮЧЕНИЯ ЗАВИСЯТ ОТ ХАРАКТЕРА ИЗМЕНЕНИЯ СИГНАЛОВ, ТО КАЖДОЙ ДУГЕ, В ОБЩЕМ СЛУЧАЕ, БУДУТ СООТВЕТСТВАТЬ 4 ЗНАЧЕНИЯ ЗАДЕРЖЕК:
Dij++ - ЗАДЕРЖКА ПЕРЕКЛЮЧЕНИЯ (0-1)В j-М УЗЛЕ ПРИ ПЕРЕКЛЮЧЕНИИ (0-1) В i- М УЗЛЕ
|
Dij+- - ЗАДЕРЖКА ПЕРЕКЛЮЧЕНИЯ (1-0)В j-М УЗЛЕ ПРИ ПЕРЕКЛЮЧЕНИИ (0-1) В i- М УЗЛЕ
Dij-+ - ЗАДЕРЖКА ПЕРЕКЛЮЧЕНИЯ (0-1)В j-М УЗЛЕ ПРИ ПЕРЕКЛЮЧЕНИИ (1-0) В i- М УЗЛЕ
Dij-- - ЗАДЕРЖКА ПЕРЕКЛЮЧЕНИЯ (1-0)В j-М УЗЛЕ ПРИ ПЕРЕКЛЮЧЕНИИ (1-0) В i- М УЗЛЕ
ПРИМЕР ПОСТРОЕНИЯ ГРАФА СХЕМЫ
|
|
Индивидуальные очистные сооружения: К классу индивидуальных очистных сооружений относят сооружения, пропускная способность которых...
История развития хранилищ для нефти: Первые склады нефти появились в XVII веке. Они представляли собой землянные ямы-амбара глубиной 4…5 м...
Типы оградительных сооружений в морском порту: По расположению оградительных сооружений в плане различают волноломы, обе оконечности...
Папиллярные узоры пальцев рук - маркер спортивных способностей: дерматоглифические признаки формируются на 3-5 месяце беременности, не изменяются в течение жизни...
© cyberpedia.su 2017-2024 - Не является автором материалов. Исключительное право сохранено за автором текста.
Если вы не хотите, чтобы данный материал был у нас на сайте, перейдите по ссылке: Нарушение авторских прав. Мы поможем в написании вашей работы!