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