Моделирование дискретных устройств в системе PCAD. Асинхронное троичное моделирование дискретных устройств, позволяющее проверять правильность функционирования устройств, страница 9

|| – операция логического условия "ИЛИ",

= – оператор присваивания.

Для принятых в PML логических операций и отношений троичные таблицы истинности имеют вид, показанный на рис. 1.5.

Таблицы истинности операций && и || аналогичны таблицам операций & и | соответственно. Это операции над условными выражениями, поэтому их приоритет ниже этих выражений.

1.2.5. Ключевые слова

Ключевые слова языка PML имеют следующее назначение:

INPUT, OUTPUT, INOUT, LOCAL – используются в заголовке файла модели для определения входных, выходных, входных/выходных и локальных (внутренних) узлов;

IF, ELSE, OTHERWISE – используются в предложениях условий;

SELECT, SET, FOR, OTHERWISE – используются в предложениях выбора.

RETURN – завершает программный модуль без выполнения любых других предложений.

1.2.6. Выражения

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

1)  <операнд>,

2)  ~<операнд>,

3)  <операнд><оператор><операнд>.

Порядок выполнения действий в выражениях определяется приоритетами операторов и скобками. Чтобы не ошибиться с приоритетами, чаще применяйте скобки!

В зависимости от типа операндов выражения делятся на выражения для узлов и выражения для шин.

Выражения подразделяются на безусловные и условные. В безусловных выражениях для узлов операндами являются имена узлов, в том числе обозначения отдельных узлов шины, константы "0", "1", "X" и безусловные выражения из них. В безусловных выражениях для шин операндами являются имена шин, в том числе список узлов вида [A1,A2,...,An], числовые константы и безусловные выражения из них.

Логические операции для узлов и шин

~	0	x	1		&	0	x	1		|	0	x	1		^	0	x	1
	1	x	0		0	0	0	0		0	0	x	1		0	0	x	1
					x	0	x	x		x	x	x	1		x	x	x	x
					1	0	x	1		1	1	1	1		1	1	x	0

Отношения для узлов

Отношения для шин