Моделирование при проектировании ЭВМ

Содержание

Слайд 2

ИТЕРАЦИИ ЗЕЙДЕЛЯ СПИСКИ, ОПИСЫВАЮЩИЕ СХЕМЫ Логическое моделирование

ИТЕРАЦИИ ЗЕЙДЕЛЯ СПИСКИ, ОПИСЫВАЮЩИЕ СХЕМЫ

Логическое моделирование

Слайд 3

Логическое моделирование Логическое моделирование бывает основано на методах анализа или синтеза.

Логическое моделирование

Логическое моделирование бывает основано на методах анализа или синтеза.
Системы моделирования

дискретных систем, основанные на методе анализа, предназначены для определения реакции проектируемого устройства[1] на заданные входные сигналы. Такое моделирование заменяет макетирование.[2]
Системы моделирования, основанные на автоматизации синтеза цифровых автоматов, моделируют схему, корректность которой гарантируется применением канонических методов синтеза[3] в базисе элементов И-НЕ и триггеров.
Системы моделирования часто реализуют модульный принцип: модули алгоритмические, схемно-алгоритмические и схемные.
Слайд 4

Логическое моделирование ДУ Модель ДУ - система соотношений, описывающих ДУ. В

Логическое моделирование ДУ

Модель ДУ - система соотношений, описывающих ДУ.
В функциональных

моделях устройство представляется в виде черного ящика.
Комбинационное ДУ описывается таблицей истинности или системой булевых функций.
Более сложные устройства моделируются абстрактным или структурным конечным автоматом.
Функциональные модели полезны при решении теоретических задач.
Структурная модель: логическая сеть, которая задается перечислением входов, выходов и элементов, а также связей.
Слайд 5

Описание структуры устройств Линии – внешние входы схемы и выходы элементов.

Описание структуры устройств

Линии – внешние входы схемы и выходы элементов.
Нумерация

линий сквозная:

Элемент схемы, выход которого соединен с j – той линией -

Следующие списки однозначно представляют структуру схемы:
типов линий L. В каждой позиции указан код, определяющий логическую функцию соответствующего элемента.
выходов W. В списке перечисляются номера линий, непосредственно связанных с выходами схемы.
предшественников P. Он разделен на секции, в i-той секции перечислены номера линий, непосредственно связанные со входами i-того элемента. Элементы в таком случае должны иметь симметричные входы.
секционирующий SP. В i-той позиции указано начало (номер первой позиции) i-той секции P.

Слайд 6

Описание структуры устройств Кодировка по соответствию: входные линии, элементы И, И-НЕ,

Описание структуры устройств

Кодировка по соответствию: входные линии, элементы И, И-НЕ, ИЛИ,

ИЛИ-НЕ, сумматор по модулю 2 - числа 0, 1, 2, 3, 4, 5

Список типов линий

Список выходов

Слайд 7

Описание структуры устройств Список предшественников: Секционирующий список

Описание структуры устройств

Список предшественников:

Секционирующий список

Слайд 8

Добавление Для некоторых алгоритмов удобно ввести список последователей. Множество неисправностей описывается

Добавление

Для некоторых алгоритмов удобно ввести список последователей.
Множество неисправностей описывается с

помощью списка неисправных, секционирующих списков и вектора неисправных значений
Слайд 9

Алгоритм итеративного моделирования Во многих случаях алгоритм моделирования можно представить следующим

Алгоритм итеративного моделирования

Во многих случаях алгоритм моделирования можно представить следующим образом:

После

подачи входного набора поочередно вычисляются значения на выходах всех элементов по значениям на их входах

Такая процедура называется итерацией

Слайд 10

Алгоритм итеративного моделирования В результате значения некоторых сигналов изменятся. Выполняется вторая

Алгоритм итеративного моделирования

В результате значения некоторых сигналов изменятся.
Выполняется вторая итерация, и

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