Управляющие булевские выражения
Управляющие булевские выражения используются в разделе Logic для определения значений сигналов Clock, Reset и Clock Enable в конечных автоматах.
Следующий пример демонстрирует использование управляющих булевских выражений:
ss.clk = clk1;
ss.reset = a & b;
ss.ena = clk1ena;
Управляющие булевские выражения имеют следующие характеристики:
¨ Значения сигналов Clock, Reset и Clock Enable для всякого конечного автомата могут быть определены с использованием следующего формата: <имя конечного автомата>.<имя порта>.В примере, показанном выше, значения этих входов определены для конечного автомата с именем ss.
¨ Имя конечного автомата, определенное на этапе его объявления, может быть использовано в управляющих булевских выражениях.
¨ Тактирующему сигналу <имя конечного автомата>.clk должно быть присвоено значение.
¨ Если в качестве начального значения конечного автомата выбрано ненулевое значение, то должен использоваться сигнал начальной установки <имя конечного автомата>.reset; в противном случае использование этого сигнала необязательно.
¨ Использовать тактирующий сигнал <имя конечного автомата>.ena необязательно.
¨ Каждое выражение заканчивается символом (;).
