Описание переменных

Принципы построения модели цифрового автомата (ЦА)

ТАКТ 0 ТАКТ 1 ТАКТ 2

Идентификаторы и переменные

Идентификатор – последовательность букв и цифр, начинающаяся с буквы.

модель импульсных переменных,

модель потенциальных переменных.

Рис. 2.47. Модели переменных

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

Д 1, ТРА 2, Х3 – логические переменные.

РГ1[0:10] – двоичные,

которые определяются идентификатором и полем разрядов.

Модель ЦА состоит из трех частей:

1) описание переменных,

2) описание схемы (статическая часть модели),

3) описание временной диаграммы (динамическая часть модели).

В зависимости от способа образования переменных в модели они делятся на две группы:

1) зависимые – “ЗАВИСИМ”;

2) независимые:

а) потенциальные независимые “ПНЕЗАВ”,

б) импульсные независимые “ИНЕЗАВ”.

Независимые переменные поступают на схему извне. Зависимые образуются внутри схемы и на ее выходах.

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