Составители:
167
В заключение необходимо сделать примечание к разложению (2.95)
произвольной булевой функции
(
)
xf . Очевидно, что число членов
разложения в (2.95) определяет степень близости
(
)
xf к ее линейной
версии, а произведение числа членов разложения на размерность блока
памяти определяет функционал размещения данной задачи кодопреоб-
разования в диаде «комбинационная схема – блок памяти».
Полученные результаты исследований позволяют предложить сле-
дующий алгоритм контроля булевого описаний нелинейных ДДС дис-
кретной автоматики.
Алгоритм 2.10 (А2.10)
контроля булевого описаний НДДС дискретной автоматики
в фазе их аналитического конструирования
1.
Выполнить в зависимости от формального описания НДДС: в
случае ГСА-описаний при контроле корректности ее составлен-
ной в силу
У2.9 – п.п. 1–5 А2.2,а затем – п.п. 2–6 А2.1; в случае
использования канонического автоматного синтеза – п.п. 1–6
А2.1.
2.
Проверить с использованием положений У2.6, У2.7 и У2.8 факт
избыточности переменных булевого описаний БФ, задающих
функции
µ
(2.12) возбуждения информационных входов
ν
триггеров, и в случае обнаружения такового выполнить соответ-
ствующее приведение этих переменных.
3.
Проверить с использованием положений У2.6, У2.7 и У2.8 факт
избыточности переменных булевого описаний БФ, задающих
функцию
y (2.11) выхода НДДС, и в случае обнаружения тако-
вого выполнить соответствующее приведение этих переменных.
4.
Выполнить с использованием положений У2.10 и У2.12 кон-
троль постановочного описания в форме диаграмм переходов и
выхода (ДПВ) или ГСА нелинейной ДДС с полученным его ана-
литическим представлением, определяемым соответствующими
БФ.
5.
Выполнить п.6 А2.1. ■
Примечание 2.6 (ПМ2.6). Следует заметить, что предложенный
алгоритм контроля булевого описаний НДДС достаточно просто реа-
лизуем в программной среде, что позволит разработчикам сущест-
венно сэкономить время при разработке НДДС
. □
Для иллюстрации приведенных положений рассмотрим два приме-
ра, в первом из которых рассмотрим использования аппарата селлер-
совского дифференцирования применительно к произвольным БФ.
Страницы
- « первая
- ‹ предыдущая
- …
- 162
- 163
- 164
- 165
- 166
- …
- следующая ›
- последняя »
