Кормораздатчик мобильный электрифицированный: схема и процесс работы устройства...
Двойное оплодотворение у цветковых растений: Оплодотворение - это процесс слияния мужской и женской половых клеток с образованием зиготы...
Топ:
Методика измерений сопротивления растеканию тока анодного заземления: Анодный заземлитель (анод) – проводник, погруженный в электролитическую среду (грунт, раствор электролита) и подключенный к положительному...
Устройство и оснащение процедурного кабинета: Решающая роль в обеспечении правильного лечения пациентов отводится процедурной медсестре...
Оценка эффективности инструментов коммуникационной политики: Внешние коммуникации - обмен информацией между организацией и её внешней средой...
Интересное:
Влияние предпринимательской среды на эффективное функционирование предприятия: Предпринимательская среда – это совокупность внешних и внутренних факторов, оказывающих влияние на функционирование фирмы...
Искусственное повышение поверхности территории: Варианты искусственного повышения поверхности территории необходимо выбирать на основе анализа следующих характеристик защищаемой территории...
Отражение на счетах бухгалтерского учета процесса приобретения: Процесс заготовления представляет систему экономических событий, включающих приобретение организацией у поставщиков сырья...
Дисциплины:
2017-06-20 | 216 |
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- М УЗЛЕ
ПРИМЕР ПОСТРОЕНИЯ ГРАФА СХЕМЫ
|
|
Общие условия выбора системы дренажа: Система дренажа выбирается в зависимости от характера защищаемого...
Типы оградительных сооружений в морском порту: По расположению оградительных сооружений в плане различают волноломы, обе оконечности...
Поперечные профили набережных и береговой полосы: На городских территориях берегоукрепление проектируют с учетом технических и экономических требований, но особое значение придают эстетическим...
Эмиссия газов от очистных сооружений канализации: В последние годы внимание мирового сообщества сосредоточено на экологических проблемах...
© cyberpedia.su 2017-2024 - Не является автором материалов. Исключительное право сохранено за автором текста.
Если вы не хотите, чтобы данный материал был у нас на сайте, перейдите по ссылке: Нарушение авторских прав. Мы поможем в написании вашей работы!