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

OUTPUT B1 (10,10,"d", "d"), C1;

LOCAL B2 (2,2,"z","z"), M[7];

Следует отметить, что М[7] – описание шины из 7 переменных.

Узлу C1 и узлам шины M[7] будут присвоены атрибуты по умолчанию.

Параметры, передаваемые в модель, могут быть использованы в любом месте, например:

EXAMPLE2 (STR0, STR1)

INPUT LOAD, EXEC1, EXEC2;

OUTPUT ESC (1,1,STR0,STR1);

1.2.8. Список предложений

Список предложений имеет форматы:

<предложение>;

{<предложение 1>;<предложение 2>;...;}

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

Например,

IF (A1!=B) Q="1";

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

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

1)<имя узла>=<безусловное выражение узла> (PCL–атрибуты);

2)<имя шины>[k]=<безусловное выражение узла> (PCL–атрибуты);

3)<имя шины>=<безусловное выражение шины> (PCL–атрибуты);

Здесь k – порядковый номер узла в шине.

Например:

AS = B1 (1,2,"z","z"); /* AS – узел*/

AB = "023"; /* АВ – шина */

AB = A+B; /* АВ, А, В – шины */

BUS = "0B1001"; /* BUS – шина */ б) Предложения условия

Предложения условия определяют условия, при удовлетворении которых выполняется отдельное предложение или список предложений. Они могут иметь следующие формы:

1)  IF (<условное выражение>) <список предложений>;

2)  IF (<условное выражение>) <список предложений 1>

ELSE <список предложений 2>;

3)  IF (<условное выражение>) <список предложений 1>

ELSE <список предложений 2>

OTHERWISE <список предложений 3>;

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

Условное выражение может принимать значения "0", "1" или "Х".

Если в первой форме это выражение принимает значение "1", то выполняется список предложений. Если же оно принимает значение "0" или "Х", то список предложений игнорируется и управление передается следующему предложению PML–файла.

Если во второй форме условное предложение принимает значение "1", то выполняется следующий за ним список предложений 1, и управление передается очередному предложению PML–файла. При значении "0" выполняется список предложений 2, указанный после ключевого слова ELSE, после чего управление передается очередному предложению PML–файла. При значении "Х" управление сразу же передается следующему предложению PML–файла.

При использовании третьей формы справедливы те же правила, за исключением того, что при значении "Х" выполняется список предложений 3, указанный после ключевого слова OTHERWISE.

Например:

EXAMPLE3 ( )

INPUT A1, A2, B1, B2;

OUTPUT C1;

{IF (A1 & A2 == B1 & B2) C1 = "1"; /*результат "1"*/

ELSE C1 = "0"; /*результат условного выражения "0"*/

OTHERWISE C1 = "X"; /*результат условного выражения "Х"*/ }

Если требуется закончить программу, не выполняя остальных операторов, то используется оператор RETURN.

Например:

IF (AS & AM == BS & BM) {OUT = "1"; RETURN;} OUT = "X";