Высокоуровневое проектирование встраиваемых систем. Платунов А.Е - 76 стр.

UptoLike

Разделим все множество синхронных входов композиции на множество
«внешних» и «внутренних». «Внутренний» вход отличается тем, что он имеет
соединение с одним из выходов ФБ в композиции. Например, для композиции
на рис. 1.23 (все входы в которой синхронные) «внутренними» являются входы,
атрибуты которых обозначены
2
γ
,
3
γ
и
5
γ
, а внешними являются входы с
атрибутами
1
γ
и
4
γ
.
Рис. 1.23. Приведение произвольной композиции ФБ к виду с обратной связью
Сформируем из атрибутов «внешних» синхронных входов вектор
d
.
Сформируем из атрибутов «внутренних» синхронных входов вектор
e
и
дополним его при необходимости элементами со свободными значениями так,
чтобы число элементов этого вектора совпадало с числом всех выходов
композиции. Для примера на рис. 1.23 вектор
e
придется дополнить одним
элементом, так как число выходов на единицу больше числа «внутренних»
синхронных входов. Сформируем из атрибутов всех выходов композиции
вектор
f
таким образом, чтобы его элемент с номером i был атрибутом выхода,
соединенного с «внутренним» синхронным входом, атрибут которого является
элементом с номером i вектора
e
. Для этого, возможно, потребуется
продублировать некоторые элементы вектора
f
, если выход соединен с
несколькими «внутренними» входами. Для примера на рис. 1.23 векторы будут
иметь значения
4
1
γ
γ
=d
,
x
5
3
2
γ
γ
γ
=e
,
3
4
2
1
ω
ω
ω
ω
=f
,
где x есть свободный элемент, который может принимать любое значение.
Выше было замечено, что если известны атрибуты всех синхронных
входов, то с помощью соответствующих функций
1
F
,
, …,
n
F
можно
вычислить атрибуты всех выходов. Обозначим
G
функцию, вычисляющую
вектор
f
, содержащий атрибуты всех выходов композиции, по векторам
d
и
e
:
),( edf
= G
. (1.40)
75