Truth_Table Keyword

Syntax

TRUTH_TABLE ( inputs -> outputs )
invalues -> outvalues ;
or
TRUTH_TABLE ( inputs :> reg_outs )
invalues :> reg_outvalues ;
or
TRUTH_TABLE ( inputs :> reg_outs -> outputs )
invalues :> reg_outvalues -> outvalues ;

inputs - Input signal names to the logic function.

outputs - Output signal names from the logic function.

reg_outs - Registered (clocked) output signal names.

-> - Indicates the input to output function for combinational outputs.

:> - Indicates the input to output function for registered outputs.

Use

Truth tables specify outputs as functions of different input combinations in a tabular form. Truth tables are another way to describe logic designs with ABEL and may be used in lieu of (or in addition to) equations and state diagrams. A truth table includes a header describing the format of the table and the table.