Truth Tables : Format and Content of Truth Tables : Input Columns

Input Columns

The input columns of a truth table are similar to the following:

 

Each column in the input section of the table is associated with an input. An input can be either a Statemate element or expression. Subroutine parameters and globals can be used as inputs when the truth table is a subroutine implementation body.

Compound elements can be used as inputs. For example, CO_2 can be defined as D1>5 and in (STATE_1).

Entries in the input section can be:

Each input section of a row represents a Boolean expression. The Boolean expresses an AND of the values for each of the inputs that does not have a “Don’t Care” value.

Note: Input cells that are left blank are considered as “Don’t Care” items by the simulation and code generation tools.

For example:

Row 1

CO_1 and not CO_2 and DI_1==1 and REC_1==REC_2 and
ARR_1=={1,2,3}

Row 2

not CO_1 and not CO_2 and DATA_1==2