3.4 Структурная модель микропрограммного автомата

При описании работы широкого класса дискретных систем, в том числе и микропрограммных автоматов, стало уже классическим их представление в виде композиции управляющего автомата (УА) и операционного автомата (ОА) (рис. 3.4).

Рис.3.4 Структурная модель первого уровня микропрограммного автомата.

Операционный автомат выполняет преобразование входных слов информации (двоичных векторов), поступающей на его входы γ. Такими словами могут быть: слагаемые или операнды для какой-либо арифметической операции, множимое и множитель для умножения и т.п. Результатом преобразования, реализуемого операционным автоматом, является информация, которая формируется на выходах β.

Задачей управляющего автомата является выработка распределённой во времени последовательности управляющих сигналов y, под воздействием которых в операционном автомате выполняется некоторая операция.

Э

32

31

лементарный неделимый акт обработки информации в операционном автомате, происходящий в течение одного такта автоматного времени, называют микрооперацией (y). Каждая микрооперация возбуждается соответствующим сигналом y, причем, если микрооперация выполняется, то y=1, а если нет, то y=0.

Совокупность микроопераций, выполняемых одновременно за один такт автоматного времени, называется микрокомандой. Для задания порядка следования микрокоманд вводятся и формируются специальные переменные, которые называют либо логическими условиями, либо осведомительными сигналами x.

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

Таким образом, совокупность микрокоманд и функции переходов образует микропрограмму.

Операционный автомат, как правило, является комбинационным автоматом, управляющий автомат – всегда последовательностный автомат, следовательно, с памятью.

Глава 4. Способы задания абстрактных и структурных автоматов.

В зависимости от способа задания функцией переходов и выходов ( и ) в настоящее время выделяют два класса языков - начальные языки и стандартные, или автоматные языки, которые используют для задания (описания) абстрактных автоматов [12].

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

В автоматных языках поведение автомата задается путем явного задания функций переходов и выходов.

Для описания, синтеза, анализа структурных автоматов широко используется язык (математический аппарат) алгебры логики и язык временных диаграмм.

4.1 Начальные языки

4.1.1 Язык регулярных выражений алгебры событий

Рассмотрим кратко язык регулярных выражений алгебры событий. Для заданного конечного множества входных букв X={x₁...x_n} регулярное выражение задается следующим образом. Для построения языка регулярных выражений используется три операции над событиями (две бинарных и одна унарная):

1) AB  объединение (дизъюнкция);

2) AB  умножение (конкатенация);

3. {A}  итерация (обозначается также A*).

Выражение, построенное из букв алфавита X и из символов операций объединения, умножения и итерации с использованием соответствующим образом круглых скобок, называется регулярным выражением в алфавите X. Всякое регулярное выражение R определяет некоторое событие S (S получается в результате выполнения всех операций, входящих в выражение R). События, определяемые таким образом, называется регулярными событиями над алфавитом X. Другими словами, регулярным событием называется событие, полученное из элементарных событий (однобуквенных слов x_i) применением конечного числа раз операций дизъюнкции, умножения и итерации. Например, в алфавите из трех букв x, y, z регулярное выражение x{x  y  z} (y  z) задает регулярное событие из всех слов, которые начинаются буквой x и заканчиваются буквой y или z.

34

33

Пусть необходимо описать автомат, выдающий сигнал ₁ всякий раз, когда происходит изменение входной буквы с x₁ на x₂. Другими словами, сигнал ₁ должен выдаваться в ответ на любые входные последовательности, кончающиеся последовательностью x₁x₂. Фраза «любые входные последовательности» формализуется всеобщим, или универсальным, событием, состоящим из всех возможных слов в алфавите x₁x₂. Такое событие записывается как {x₁x₂}. Тогда событие S₁, в ответ на которое должен выдаваться сигнал ₁, будет описываться регулярным выражением: S₁/₁={x₁x₂} x₁x₂.

4.1.2 Язык логических схем

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

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

Под микрооперацией обычно понимается элементарный процесс переработки информации в одной из частей автомата, происходящий за время такта работы автомата. При этом устройство управления вырабатывает управляющие сигналы, которые обозначим символом V={v₁,v₂...v_n}. Ход выполнения микроопераций может нарушаться в зависимости от условий, задаваемых множеством Z={z₁,z₂...z₃}.

Запись алгоритма, выполненная с учетом вышеизложенного, называется логической схемой алгоритма (ЛСА).

Логические схемы алгоритмов удовлетворяют следующим условиям:

1) содержат один начальный (v_n) и один конечный опе- ратор (v_k);

2. перед оператором v_n и после оператора v_k стрелок быть не должно;

3. вслед за каждым логическим условием всегда стоит верхняя стрелка;

4. не существует двух одинаковых (с одинаковыми цифрами) нижних стрелок;

5. для каждой нижней стрелки должна быть, по крайней мере, одна соответствующая ей (с одинаковой цифрой) верхняя стрелка;

6. для каждой верхней стрелки должна быть точно одна соответствующая ей (с одинаковой цифрой) нижняя стрелка.

Описание поведения автомата с помощью ЛСА поясним на следующем примере:

_{1 1 2 2 2}

v_nz₁  v₁  z₂  v₂v₃z₃  v₄  v₅v_k. (4.1)

Эта ЛСА имеет операторы начала и конца (v_n и v_k), пять операторов (v₁v₅) и три логических условия (z₁, z₂, z₃). Начальному оператору соответствует некоторое начальное состояние автомата, при котором никакие микрооперации не выполняются. Если в начальном состоянии на первый вход устройства придет сигнал, равный единице (z₁=1), то устройство перейдет в новое состояние, в котором выполняется оператор v₁ - первый справа после логического условия z₁, а затем проверяется логическое условие z₂. Если же z₁=0, то

₁

выходим по верхней стрелке  и входим по нижней стрелке с той же цифрой на проверку логического условия z₂, минуя выполнение оператора v₁. Если же z₂=1, то выполняются операторы v₂ и v₃ и проверяется условие z₃; если z₃=0, то оператор v₄ не выполняется, происходит переход к оператору v₅. После выполнения оператора v₅ происходит переход к конечному оператору, т.е. работа дискретного устройства заканчивается.

4.1.3 Язык граф – схем алгоритмов

Д

36

35

ругой разновидностью языка, позволяющего описывать логические схемы алгоритмов, является язык граф-схем алгоритмов (ГСА). Граф-схема алгоритма  ориентированный связный граф, содержащий одну начальную вершину, произвольное число условных и операторных вершин и одну конечную вершину.

а), б) - начальная и конечная вершины; в) - операторная вершина; г) - условная вершина.

Рис. 4.1 Графическое представление вершин ГСА.

Конечная, операторная и условная вершины имеют по одному входу, начальная вершина входов не имеет. Начальная и операторная вершины имеют по одному выходу. Конечная вершина выходов не имеет. Условная вершина имеет два выхода, помеченных символами 1 и 0. Граф-схема алгоритма удовлетворяет следующим условиям:

1. входы и выходы вершин соединяются друг с другом с помощью дуг, направленных всегда от выхода ко входу;

2. каждый выход соединен только с одним входом;

3. любой вход соединяется, по крайней мере, с одним выходом;

4. любая вершина графа лежит, по крайней мере, на одном пути из начальной к конечной вершине;

5. в каждой условной вершине записывается один из элементов множества логических условий Z={z₁...z_l}, разрешается в различных условных вершинах записывать одинаковые элементы множества Z;

6. в

   38

   37

   каждой операторной вершине записывается один из элементов множества операторов V={v₁...v_t}, разрешается в различных операторных вершинах запись одинаковых элементов множества V.

На рис. 4.2 представлена граф-схема алгоритма, соответствующая ЛСА, заданной (3.1). Язык ГСА используется очень часто при описании алгоритмов функционирования, как самого цифрового автомата, так и программ, выполняющих то или иное действие.

Рис. 4.2 Пример граф - схемы алгоритма

4.1.4 Язык схем алгоритмов

При проектировании различных устройств ЭВМ обычно используются содержательные схемы алгоритмов, которыми описываются не только формальные элементы, а также логические условия и микрооперации в содержательных терминах. Основные правила выполнения содержательных схем алгоритмов и программ, которым студенты должны следовать в процессе выполнения курсового проекта, представлены в соответствующих ГОСТах..

Графическое описание алгоритма дается в виде чертежа, состоящего из ограниченного числа геометрических фигур (называемых символами), соединенных стрелками указывающими последовательность некоторых действий.

Различают безусловные и условные типы символов. Безусловные позволяют описывать операции, связанные с вводом/выводом и выполнением операторов (инструкций) алгоритма. Символы условного типа позволяют отобразить ситуации, требующие ветвления вычислительного процесса в зависимости от выполненного результата.

Конфигурацию и размер символов, а также порядок построения схем алгоритмов определяет ГОСТ 19.002-80 и 19.003-80 Единой Системы Программной Документации (ЕСПД).

Все символы (блоки) в алгоритме нумеруются. Номера проставляются в разрыве верхней линии блока слева (рис. 4.3).

Линии потока указывают направление перехода к следующему блоку алгоритма. Стрелки на линиях потока не ставят, если линии потока направлены вниз или слева направо. Противоположные направления (то есть снизу вверх или справа на лево) обязательно помечают стрелкой на линии потока. Линии потока могут подвергаться изломам до 90. В этом случае на линиях потока также ставится стрелка.

В состав схемы алгоритма могут быть включены соединитель и межстраничный соединитель.

Рис. 4.3 Обозначение и нумерация блоков алгоритма.

Соединитель используется для обозначения связи между блоками (символами) при необходимости обрыва линии потока. Такая потребность возникает в том случае, когда участок схемы алгоритма слишком насыщен линиями потока или когда соединяемые символы находятся далеко друг от друга, но в пределах одного и того же листа. На рис. 4.4 иллюстрируется использование соединителя между блоками 2 и 7 (линии потока направлены от блока 2 к блоку 7).

Если приходится изображать алгоритм на нескольких листах, то используют межстраничный соединитель. Внутри символа межстраничного соединителя указывают номер листа (трехзначный) и номер символа, с которым должно быть соединение. На рис. 4.5 а) показано, что линия потока уходит на второй лист к 23 блоку, а на рис. 4.5 б) - что, к 23 блоку идет линия потока с первого листа от пятого блока.

Рекомендуется использовать соединители в крайних случаях, так как иначе снижается наглядность схемы алгоритма и ее понимание.

40

39

Рис. 4.4 Пример использования соединителя.

Рис. 4.5 Пример использования межстраничного соединителя

4.2 Автоматные языки

Среди автоматных (стандартных) языков наиболее распространены таблицы и матрицы переходов и выходов, а также графы автоматов [12].

4.2.1 Таблицы переходов и выходов

Таблица переходов (выходов) представляет собой таблицу с двойным входом, строки которой нумерованы входными буквами, а столбцы  состояниями. На пересечении строк и столбцов указывается состояние, в которое переходит автомат (в таблице переходов) или выходной сигнал, выдаваемый им (в таблице выходов).

Описание работы автомата Мили таблицами переходов и выходов иллюстрируется на примере автомата S₁ (табл.4.1и 4.2):

Таблица 4.1 : QXQ*						Таблица 4.2 : QXY*
		q1	q2	q3			q1	q2	q3
	x1	q2	q3	q2		x1	y1	y3	y3
	x2	q3	q2	q1		x2	y2	y1	y1

На пересечении столбца q_m и строки x_i в таблице переходов (табл.4.1) ставится состояние q_s=(q_m, x_i), в которое автомат переходит из состояния q_m под действием сигнала x_i, а в таблице выходов (табл. 4.2)  соответствующий этому переходу выходной сигнал y_g=(q_m, x_i).

42

41

Иногда при задании автоматов Мили используют одну совмещенную таблицу переходов и выходов, в которой на пересечении столбца q_m и строки x_i записываются в виде q_s/y_g следующее состояние и выдаваемый выходной сигнал. Так, для автомата S1 имеем следующую совмещенную таблицу (табл.4.3):

Таблица 4.3 :QXQ; :QXY
	q1	q2	q3
x1	q2/y1	q3/y3	q2/y3
x2	q3/y2	q2/y1	q1/y1

Так как в автомате Мура выходной сигнал зависит только от состояния, автомат Мура задается одной отмеченной таблицей переходов, в которой каждому ее столбцу приписан, кроме состояния q_m, еще и выходной сигнал y_g=(q_m), соответствующий этому состоянию. Пример табличного описания автомата Мура S₂ показан в табл. 4.4:

Таблица 4.4 :QXQ, :QY:
	y1	y1	y3	y2	y3
	q1	q2	q3	q4	q5
x1	q2	q5	q3	q3	q3
x2	q4	q2	q2	q1	q1

Для частичных автоматов, у которых функции  или  определены не для всех пар (q_m, x_i)QX, на месте неопределенных состояний и неопределенных выходных сигналов ставится прочерк.

4.2.2 Матрицы переходов и выходов

Иногда применяется способ задания автомата с помощью матрицы переходов и выходов, которая представляет собой таблицу с двумя входами. Строки и столбцы таблицы отмечены состояниями. Если существует переход из состояния q_m под действием входного сигнала x_i в состояние q_s, с выдачей выходного сигнала y_i, то на пересечении строки q_m и столбца q_s записывается пара x_i/y_i.

Для автомата Мура используется матрица, столбцы которой отмечены выходными сигналами y_i, а на пересечении ее строк и столбцов указываются только входные сигналы x_i.

Ниже приведены матрицы переходов и выходов для рассмотренных ранее автоматов S1 (табл. 4.5) и S2 (табл.4.6):

Таблица 4.5

	q1	q2	q3
q1			x2/y1
q2	x1/y1	x2/y1	x1/y3
q3	x2/y2	x1/y3

Таблица 4.6

	y1	y1	y3	y2	y3
	q1	q2	q3	q4	q5
q1				x2	x2
q2	x1	x2	x2
q3			x1	x1	x1
q4	x2
q5		x1

4.2.3 Граф автомата

44

43

Часто автомат задают с помощью графа автомата. Этот язык удобен и нагляден. Граф автомата  ориентированный граф, вершины которого соответствуют состояниям, а дуги  переходам между ними. Две вершины графа автомата q_m и q_s (исходное состояние и состояние перехода) соединяются дугой, направленной от q_m к q_s, если в автомате имеется переход из q_m в q_s, т.е. если q_s=(q_m, x_i) при некотором x_iX. Дуге (q_m, q_s) графа автомата приписывается входной сигнал x_i и выходной сигнал y_g=(q_m, x_i). При описании автомата Мура в виде графа выходной сигнал y_g записывается внутри вершины q_m или рядом с ней. На рис. 4.6, а, б приведены графы автоматов S₁ и S₂, описанных ранее табличным способом.

Рис. 4.6 Графы автомата для автоматов S₁ (а) и S₂ (б)

Любой автомат может быть задан с помощью графа, но не всякий граф в алфавитах Q, X,Y задает автомат. В графе автомата не должно существовать двух дуг с одинаковыми входными сигналами, выходящих из одной и той же вершины (условие однозначности).

Состояние автомата, вершина графа для которого имеет только исходящие дуги, но не имеет входящих дуг, называется переходящим. В такое состояние попасть нельзя, из него можно только выйти.

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

Изолированным состоянием называется также состояние, которому соответствует вершина графа, не имеющая как входящих, так и исходящих дуг.

Таким образом, с помощью графов абстрактная модель автомата записывается в виде некоторого пространственного изображения, которое помогает при решении задач анализа или синтеза.

Любое разбиение множества состояний автомата на ряд подмножеств, объединяющих некоторые состояния, приводит к понятию подавтомата.

4.3 Язык алгебры логики (булевой алгебры)

Конечная цель синтеза цифровых автоматов ­– построение заданного автомата из ограниченной совокупности некоторых элементарных автоматов.

Канонический метод структурного синтеза цифровых автоматов разработан советским ученым В.М. Глушковым [14]. Данный метод предполагает сведение задачи синтеза произвольных автоматов к задаче синтеза комбинационных автоматов (автоматов без памяти).

С

46

45

труктурным алфавитом современных цифровых автоматов является двоичный алфавит, т.е. алфавит, содержащий всего два различных нечисловых символа. Эти символы обозначают самыми разными способами: "включено" и "выключено"; "высокий уровень напряжения" и "низкий уровень напряжения"; "есть ток" и "нет тока"; "единица" и "нуль" и т.п. Данное обстоятельство играло решающую роль для выбора математического аппарата, который бы мог эффективно использоваться для структурного синтеза цифровых автоматов. В качестве такого аппарата стал широко использоваться начальный раздел математической логики – исчисление высказываний, или алгебра логики. Логика – наука о законах и формах мышления. Математическая логика занимается изучением возможностей применения формальных методов для решения логических задач [15]. Иногда алгебру логики называют булевой алгеброй по имени английского математика Джорджа Буля, который в 1847 году изложил основы такой алгебры в работе "Математический анализ логики, сопровождаемый наброском исчисления дедуктивных рассуждений". В 1948 году (через 100 лет после создания алгебры логики!) американский ученый К.Шеннон и советский ученый В.И. Шестаков независимо друг от друга показали возможность практического использования алгебры логики для анализа и синтеза релейно-контактных схем, отождествив понятия "истина" и "ложь" в алгебре логике с понятиями "замкнуто" и "разомкнуто" в релейно-контактных схемах. В последствии алгебра логики стала широко использоваться для проектирования цифровых электронных вычислительных машин.

Начальным понятием алгебры логики является понятие высказывания. Под высказыванием понимается любое утверждение, которое оценивается только с точки зрения его истинности или ложности. Высказывание может быть только либо истинным, либо ложным.

Исчисление высказываний основано на том, что каждое высказывание можно рассматривать как некоторую двоичную переменную, которая может принимать только одно из двух своих возможных значений. Такие переменные условились называть логическими (булевыми) переменными и приписывать им значение 1 в случае истинности высказывания и значение 0 в случае ложности высказывания.

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

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

Математические основы алгебры логики и ее приложения к решению задач синтеза и анализа дискретных автоматов подробно будут рассмотрены в самостоятельных разделах данного пособия.

4.4 Язык временных диаграмм

Временная диаграмма – это, по сути, упрощенный график изменения во времени токов или напряжений, характеризующих некоторый электрический процесс.

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

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

Т

48

47

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

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

Дискретные сигналы выглядят на экране осциллографа примерно так, как показано на рис. 4.7(а), а идеализированное их представление соответствует рис. 4.7(б).

Рис. 4.7 Формы дискретных сигналов

а) на экране осциллографа; б) условное графическое изображение (пунктиром показано изображение идеального дискретного сигнала).

Ранее отмечалось, что дискретные сигналы могут быть "короткими" (как в автомате типа Мили), и "длинными" (как в автомате типа Мура). В инженерной практике в среде разработчиков цифровой аппаратуры вместо терминов "короткие" и "длинные" сигналы используют термины "импульс" и "потенциал", соответственно [16].

Под импульсом понимают цифровой сигнал, длительность которого является его характеристикой. Для импульсного сигнала задана его временная характеристика (длительность), отклонение значения которой незначительны относительно некоторой заданной величины.

Под потенциалом понимают сигнал, длительность которого не регламентирована.

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

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

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

И

50

49

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

U

da⁺ da^-

U_{a max}

U _{a min} а а а

t₁ t₂ t₃ t₄ t

Рис. 4.8 Рабочие зоны дискретного сигнала

У двоичного дискретного сигнала выделяют несколько рабочих зон: зона, в которой сигнал (в данном случае сигнал а) принимает значение U_{a min} ; зона, в которой сигнал принимает значение U_{a max}; зона, в которой сигнал переходит с U_{a min} на U_{a max}; зона, в которой сигнал переходит с U_{a max} на U_{a min} .Для каждой зоны вводятся специальные обозначения и наименования, которые для сигнала а можно обобщить следующим образом:

а - до t₁ и после t₄ (называется "не а");

da⁺ - на интервале t₁…t₂ (называется фронт

а = сигнала или положительный перепад);

da^- - на интервале t₃…t ₄ (называется срез

сигнала или отрицательный перепад);

а - на интервале t₂ и t₃ (называется "а").

_а - t₂ - t₃

da⁺ - t₁ - t₂ – положительный фронт;

da^- - t₂ - t ₄ – отрицательный срез.

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

Излагаемый в дальнейшем материал заимствован из [17] и иллюстрирует ряд соглашений, принятых при изображении временных диаграмм.

Изображение высокого (“1”), низкого (“0”) и высокоимпедансного (“Z”) уровней напряжений сигнала изображают так, как показано на рис. 4.9.

Рис. 4.9 Изображение уровней напряжений сигнала

На рис. 4.9 показано, что на интервале времени t₀ ... t₁ формируется уровень напряжения, соответствующий логической единице; на интервале времени t₁ ... t₂ формируется уровень напряжения, характеризующий высокоимпедансное (z) состояние; на интервале t₂ ... t₃ формируется уровень напряжения, соответствующий логическому нулю.

Н

52

51

а рис. 4.10 показано, как изображается переход сигнала с одного уровня напряжения на другой. Переход от низкого уровня к высокому называется фронтом (рис. 4.10, а) ), а от высокого к низкому - срезом (рис. 4.10, б) ). Употребляют также термины нарастающий и спадающий фронт; положительный и отрицательный фронт; передний и задний фронт.

Рис. 4.10 Изображение переходов сигналов с различных уровней напряжений

Если переход от одного уровня напряжения к другому происходит не в конкретный момент времени, а может произойти в любой из моментов на некотором интервале t1 ... t2, то такую ситуацию изображают так, как показано на рис. 4.11.

Рис. 4.11 Изображение неопределенности о моменте перехода сигналов на другой уровень

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

Рис. 4.12 Изображение взаимозависимости сигналов

Иногда изменение нескольких сигналов может быть причиной изменения одного сигнала. Такая ситуация изображается согласно рис. 4.13.

Р

54

53

ис.4.13 Изображение зависимости нескольких сигналов от одного

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

Рис. 4.14 Изображение зависимости одного сигнала от совокупности других

Если уровень напряжения входного сигнала не влияет на определенном временном интервале на работу дискретного устройства, или если уровень выходного сигнала не может быть однозначно определен на этом временном интервале, или не имеет принципиального значения, то такая ситуация иллюстрируется рис. 4.15.

Рис. 4.15 Изображение зон неопределенности сигнала.

Временные диаграммы позволяют отображать изменения группы сигналов, которые меняют свои значения в одинаковый момент времени, но имеют разные уровни сигналов. Временная диаграмма, представленная на рис. 4.16, иллюстрирует такие ситуации.

Рис. 4.16 Изображение изменения уровней напряжения группы сигналов

Н

56

55

а рис. 4.16 временная диаграмма для сигналов С1 и С2 характерна для иллюстрации работы, например, одного разряда счетчика, не имевшего начальной установки или конкретное состояние которого не имеет принципиального значения. Диаграмма С3 характерна для графического изображения переключения в высокоимпедансное состояние группы сигналов (например, на шине данных микропроцессора). Диаграммой С4 можно иллюстрировать неопределенность состояния или пассивность некоторой группы сигналов.

На временных диаграммах допускается изображение дополнительной буквенно-цифровой информации на выносных линиях, так как показано на рис. 4.17.

Временная диаграмма изображенная на рис. 4.17 может быть прочитана следующим образом.

В некоторой системе после установки кода на шинах адреса А0 ... А15 формирование сигнала выбора устройства (CS) должно быть произведено за время, не превышающее t1. После того, как будет сформирован срез сигнала CS, через 200 наносекунд на шине данных (Д0 ... Д7) будет установлен действительный код.

Рис. 4.17 Изображение дополнительной информации на временных диаграммах