Алгоритмический язык моделирования дискретных систем во времени - МОДИС-В

При изучении методов проектирования цифровых устройств имеет место задача описания разрабатываемой функциональной схемы. Выше (см. раздел 2.3) рассматривалось использование математического аппарата алгебры логики для описания комбинационных схем и решения задач анализа и синтеза этих схем.

Однако язык алгебры логики не пригоден для описания схем, в которых содержатся запоминающие элементы.

В 1960 г. чл. корр. АН СССР Матюхин Н. Я. предложил и разработал алгоритмический язык МОДИС-В, решающий эту задачу.

Вскоре в составе САПР этот язык был использован при проектировании серийной ЭВМ специального назначения.

Однако этот язык достаточно прост, и отдельные его разделы могут быть успешно использованы в учебных целях. В настоящем учебном пособии МОДИС-В используется только в задачах описания схем и принципа действия цифровых устройств. Соответственно в пособии приводится очень краткое описание этого языка.

Язык моделирования дискретных систем во времени предназначен для описания цифровых автоматов (ЦА) на уровне функциональных схем, а также для проверки их работы. ЦА – это любая цифровая схема, от комбинационной схемы или схемы отдельного триггера до ЭВМ и вычислительных комплексов. На языке моделирования составляются формальное описание или модель ЦА. Далее эта модель вводится в ЭВМ и отлаживается по формальным правилам. Проверяется правильность функционирования схемы.

2.10.1. Основные символы языка:

1) буквы – заглавные буквы русского и латинского языка, кроме V, I, U;

2) цифры – арабские;

3) арифметические операции - +, -, “умн.”, “дел.”;

4) логические операции - V-дизъюнкция,

* - конъюнкция,

“+” - сложение по модулю 2,

I – инверсия;

5) операции отношения - >, <, =, ;

6) специальные операции:

“СДВ ЛВ” – сдвиг влево,

“СДВ ПР” – сдвиг вправо,

“ДШ” – дешифрация,

“ШФ” – шифрация;

7) операции следования

“ ЕСЛИ”, “ИНАЧЕ”,”ИНЕСЛИ”,”ТО”, “ЧЕРЕЗ”;

8) скобки (), [ ], “начало”, “конец”;

9) разделители,;:; ‘:=’.

Дата добавления: 2015-05-09