 |
2.10. Алгоритмический язык моделирования дискретных систем во времени - МОДИС-В
|
|
|
|
2. 10. Алгоритмический язык моделирования дискретных систем во времени - МОДИС-В
При изучении методов проектирования цифровых устройств имеет место задача описания разрабатываемой функциональной схемы. Выше (см. раздел 2. 3) рассматривалось использование математического аппарата алгебры логики для описания комбинационных схем и решения задач анализа и синтеза этих схем.
Однако язык алгебры логики не пригоден для описания схем, в которых содержатся запоминающие элементы.
В 1960 г. чл. корр. АН СССР Матюхин Н. Я. предложил и разработал алгоритмический язык МОДИС-В, решающий эту задачу.
Вскоре в составе САПР этот язык был использован при проектировании серийной ЭВМ специального назначения.
Однако этот язык достаточно прост, и отдельные его разделы могут быть успешно использованы в учебных целях. В настоящем учебном пособии МОДИС-В используется только в задачах описания схем и принципа действия цифровых устройств. Соответственно в пособии приводится очень краткое описание этого языка.
Язык моделирования дискретных систем во времени предназначен для описания цифровых автоматов (ЦА) на уровне функциональных схем, а также для проверки их работы. 
ЦА – это любая цифровая схема, от комбинационной схемы или схемы отдельного триггера до ЭВМ и вычислительных комплексов. На языке моделирования составляются формальное описание или модель ЦА. Далее эта модель вводится в ЭВМ и отлаживается по формальным правилам. Проверяется правильность функционирования схемы.
2. 10. 1. Основные символы языка:
1) буквы – заглавные буквы русского и латинского языка, кроме V, I, U;
2) цифры – арабские;
3) арифметические операции - +, -, “умн. ”, “дел. ”;
|
|
|
4) логические операции - V-дизъюнкция,
* - конъюнкция,
“+” - сложение по модулю 2,
I – инверсия;
5) операции отношения - >, <, =, 
;
6) специальные операции:
“СДВ ЛВ” – сдвиг влево,
“СДВ ПР” – сдвиг вправо,
“ДШ” – дешифрация,
“ШФ” – шифрация;
7) операции следования
“ ЕСЛИ”, “ИНАЧЕ”, ”ИНЕСЛИ”, ”ТО”, “ЧЕРЕЗ”;
8) скобки ( ), [ ], “начало”, “конец”;
9) разделители ,; :; ‘: =’.
2. 10. 2. Идентификаторы и переменные
Идентификатор – последовательность букв и цифр, начинающаяся с буквы.
модель импульсных переменных,
ТАКТ 0 ТАКТ 1 ТАКТ 2
модель потенциальных переменных.
Рис. 2. 47. Модели переменных
Идентификатор обозначает переменные, которые действуют в модели. В модели действуют так называемые идеальные переменные двух типов: импульсные и потенциальные. Идеальная импульсная переменная определена и может существовать только в переходные моменты. Потенциальная переменная не определена в переходный момент времени, а существует только во время самого такта (рис. 2. 47). В зависимости от разрядности переменные делятся на логические (одноразрядные) и двоичные (многоразрядные).
Д 1, ТРА 2, Х3 – логические переменные.
РГ1[0: 10] – двоичные,
которые определяются идентификатором и полем разрядов.
2. 10. 3 Принципы построения модели цифрового автомата (ЦА)
Модель ЦА состоит из трех частей:
1) описание переменных,
2) описание схемы (статическая часть модели),
3) описание временной диаграммы (динамическая часть модели).
2. 10. 3. 1. Описание переменных
В зависимости от способа образования переменных в модели они делятся на две группы:
1) зависимые – “ЗАВИСИМ”;
2) независимые:
а) потенциальные независимые “ПНЕЗАВ”,
б) импульсные независимые “ИНЕЗАВ”.
Независимые переменные поступают на схему извне. Зависимые образуются внутри схемы и на ее выходах.
|
|
|
|
|
|
