
- •Основные принципы имитационного моделирования.
- •Метод статистических испытаний в имитационном моделировании (метод Монтк-Карло)
- •Схемы построения имитационных моделей.
- •Моделирование вычислительных процессов и систем с использованием средств gpss.
- •Использование инструментальных средств для моделирования вычислительных процессов.
- •Входные параметры, характеризующие качество работы имитационной модели.
- •Функциональные блоки gpss World.
- •Стандартные числовые и логические атрибуты модели.
- •Модель однопроцессорного вычислительного устройства.
- •Имитационная модель однопроцессорной системы с неограниченной длиной очереди.
- •Модель вычислительной системы с ограниченным числом мест в очереди.
- •Моделирование параллельных вычислительных процессов.
- •Часть 1 Часть 1
- •Часть 2 Часть 2
- •Параметрический анализ сложного вычислительного процесса.
- •Использование библиотечных функций распределения для моделирования случайных процессов в вычислительных системах.
- •Структура имитационной модели последовательного вычислительного процесса с несколькими режимами обслуживания входных сообщений.
- •Структура сегментов для моделирования последовательного вычислительного процесса.
- •Функциональное моделирование (idef0) мкс
- •Концептуальная модель и ее представление контекстной диаграммой
- •Разновидности связей, реализуемых в функциональных диаграммах.
- •Наименование связей
- •Количественный анализ функциональных диаграмм.
- •Наиболее используемые команды bpWin.
- •Функциональная диаграмма процесса разработки бвм.
- •Результат работы экспертов с моделью «как есть» для построения модели «как должно быть»
- •Моделирование потоков данных в информационных системах в соответствии со стандартом dfd
- •Моделирование потоков работ, сопровождающих разработку, создание, эксплуатацию мкк (idef3).
- •Структура мкк.
- •Контекстная диаграмма модульной разработки мкк.
- •Декомпозиция idef3-диаграммы первого уровня
- •Возможности системы erWin по автоматизации разработки бд.
- •Инструменты erWin для создания логической модели бд.
- •Построение erd –диаграммы логической модели бд «ис сопровождения модульной сборки мкс», основанной на ключах. Диаграмма сущностей бд и их связей.
- •Этапы автоматизации разработки логической модели бд ис
- •Правила выбора атрибутов сущностей для включения первичных ключей:
- •Нормализация логической модели бд
- •Создание физической модели бд.
- •Создание erd -диаграммы пользователя бд
- •Логическое моделирование аппаратных средств цвт.
- •Сравнение восходящего и нисходящего подхода к проектирования.
- •Цикл проектирования специализированной сбис
- •Ввод символов моделируемой схемы.
- •Подготовка схемы к временному моделированию.
- •Пример временного моделирования работы клс.
- •Алгоритм временного моделирования электронных схем.
- •Использование временного анализатора.
- •Временное моделирование работы асинхронных элементов памяти.
- •Оценка установившихся и устойчивых состояний асинхронных элементов памяти.
Алгоритм временного моделирования электронных схем.
При временном моделировании отображаются только те переменные, которые не минимизируются (входные и выходные переменные КЛС, переменные на выходах элементов памяти, выходы буферных элементов). Запуск режима временного режима (Simulator).
Использование временного анализатора.
Временной анализатор позволяет с использованием матриц задержки сигнала, матриц времени предустановки и времени удержания для триггеров и матриц максимальных тактовых частот работы цифрового устройства получить количественные оценки. Вызов временного анализатора по имени Timing Analyzer, Delay Matrix, Setup/Hold Matrix, Registered Performance. Получение временных задержек и максимальных тактовых частот позволяет:
-
сделать вывод о соответствии разрабатываемого устройства, его спецификации по данным параметрам;
-
уточняются данные для построения контрольных тестов.
Временное моделирование работы асинхронных элементов памяти.
RS-триггера на элементах И, ИЛИ, НЕ
Асинхронные запоминающие элементы используют в автоматических системах, входная информация которых зависит от состояния внешней среды по отношению к устройству и не может быть регламентирована.
RS-триггер на элементах ИЛИ, И, НЕ
RS-триггер на элементах И –НЕ, НЕ
— одновременная
подача 0 запрещена.
RS-триггер на элементах И, ИЛИ, НЕ
Оценка установившихся и устойчивых состояний асинхронных элементов памяти.
|
00 |
01 |
11 |
10 |
|
0 |
0 |
Х |
1 |
|
1 |
0 |
Х |
1 |
Данная таблица переходов описывает варианты для четырёх видов запоминающих устройств.
Для принятой схемной реализации асинхронного триггера
Построим с использованием выражения 1 развернутую таблицу переходов асинхронного триггера.
10 экв. |
|
|
|
|
|
|
0 |
0 |
0 |
0 |
0 |
1 |
0 |
1 |
0 |
0 |
0 |
1 |
0 |
1 |
2 |
0 |
0 |
1 |
0 |
1 |
0 |
3 |
0 |
0 |
1 |
1 |
0 |
0 |
4 |
0 |
1 |
0 |
0 |
1 |
1 |
5 |
0 |
1 |
0 |
1 |
0 |
1 |
6 |
0 |
1 |
1 |
0 |
1 |
1 |
7 |
0 |
1 |
1 |
1 |
0 |
1 |
8 |
1 |
0 |
0 |
0 |
1 |
0 |
9 |
1 |
0 |
0 |
1 |
0 |
0 |
10 |
1 |
0 |
1 |
0 |
1 |
0 |
11 |
1 |
0 |
1 |
1 |
0 |
0 |
12 |
1 |
1 |
0 |
0 |
1 |
0 |
13 |
1 |
1 |
0 |
1 |
0 |
0 |
14 |
1 |
1 |
1 |
0 |
1 |
0 |
15 |
1 |
1 |
1 |
1 |
0 |
0 |
|
Данные из таблицы переходов поместим в расширенную диаграмму Вейча.
|
00 |
01 |
11 |
10 |
00 |
10 |
11 |
10 |
10 |
01 |
(01) |
(01) |
00 |
00 |
11 |
00 |
01 |
00 |
00 |
10 |
(10) |
11 |
(10) |
(10) |
Установившимися
будем считать ту пару состояний
,
,
которая совпадает с исходными состояниями
,
или внутренними сигналами этой схемы.
При отсутствии информационных сигналов асинхронный триггер может находиться в двух состояниях. Наличие единицы на входе R переводит триггер в нулевое состояние. Наличие сигнала S переводит триггер в единичное состояние. Из отмеченных установившихся состояний к устойчивым относятся те, которые соответствуют логике рассматриваемого запоминающего элемента. Асинхронные элементы памяти используют в цифровых устройствах, работа которых зависит от состояния внешней среды, генерирующей сигналы на информационных входах. Рассмотрим процедуру синтеза асинхронных инкрементных счётных схем.
10 экв. |
|
|
|
|
0 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
1 |
2 |
0 |
0 |
1 |
0 |
3 |
0 |
0 |
1 |
0 |
4 |
0 |
1 |
0 |
1 |
5 |
|
|
|
|
6 |
|
|
|
|
7 |
|
|
|
|
8 |
|
|
|
|
9 |
|
|
|
|
|
|
|
|
|
. . .
|
0 |
1 |
0 |
0 |
0 |
1 |
1 |
0 |
Временная диаграмма асинхронного инкрементного счётчика.
Декрементный счётчик синтезируется аналогично и приводит к заданию единичного начального состояния.
Временное моделирование синхронных запоминающих элементов.
Рассмотрим на примере синхронных RS и D-триггеров
И-НЕ (синхронный RS-триггер)
ИЛИ-НЕ (синхронный D-триггер)
Синхронные запоминающие элементы определяют быстродействие синтезируемых цифровых устройств и могут быть при использовании системы MAX+plus II как выбраны пользователем, так и рекомендованы самой системой MAX+plus II.
Обоснование выбора элементной базы для синтезируемого устройства.
В результате компиляции схемы, построенной на библиотечных модулях MAX+plus II, выдаётся рекомендация, которая может быть принята разработчиком или изменена. Возможно подключение опций, которые позволяют выбрать СБИС имеющие максимальное быстродействие.
При включении опций Auto компилятор рекомендует схему, позволяющую непротиворечиво организовать текущий проект.
Задание режима синтеза цифровых устройств.
Если проект размещен на нескольких СБИС, то каждой необходимо присвоить собственное имя. Соотношение присвоенных имён отображается в поле Existing Device Assignments. Возможно несколько режимов для синтеза сложных схем:
-
глобальный режим для всего проекта
-
индивидуальный режим для любого уровня иерархии (для отдельных модулей)