WOLFRAM SYSTEMMODELER

Tables

Truth tables for all components of package Digital

Package Constants (19)

AndTable

Value: [L.'U', L.'U', L.'0', L.'U', L.'U', L.'U', L.'0', L.'U', L.'U'; L.'U', L.'X', L.'0', L.'X', L.'X', L.'X', L.'0', L.'X', L.'X'; L.'0', L.'0', L.'0', L.'0', L.'0', L.'0', L.'0', L.'0', L.'0'; L.'U', L.'X', L.'0', L.'1', L.'X', L.'X', L.'0', L.'1', L.'X'; L.'U', L.'X', L.'0', L.'X', L.'X', L.'X', L.'0', L.'X', L.'X'; L.'U', L.'X', L.'0', L.'X', L.'X', L.'X', L.'0', L.'X', L.'X'; L.'0', L.'0', L.'0', L.'0', L.'0', L.'0', L.'0', L.'0', L.'0'; L.'U', L.'X', L.'0', L.'1', L.'X', L.'X', L.'0', L.'1', L.'X'; L.'U', L.'X', L.'0', L.'X', L.'X', L.'X', L.'0', L.'X', L.'X']

Type: Logic[L,L]

Description: 9-value logic for 'and'

OrTable

Value: [L.'U', L.'U', L.'U', L.'1', L.'U', L.'U', L.'U', L.'1', L.'U'; L.'U', L.'X', L.'X', L.'1', L.'X', L.'X', L.'X', L.'1', L.'X'; L.'U', L.'X', L.'0', L.'1', L.'X', L.'X', L.'0', L.'1', L.'X'; L.'1', L.'1', L.'1', L.'1', L.'1', L.'1', L.'1', L.'1', L.'1'; L.'U', L.'X', L.'X', L.'1', L.'X', L.'X', L.'X', L.'1', L.'X'; L.'U', L.'X', L.'X', L.'1', L.'X', L.'X', L.'X', L.'1', L.'X'; L.'U', L.'X', L.'0', L.'1', L.'X', L.'X', L.'0', L.'1', L.'X'; L.'1', L.'1', L.'1', L.'1', L.'1', L.'1', L.'1', L.'1', L.'1'; L.'U', L.'X', L.'X', L.'1', L.'X', L.'X', L.'X', L.'1', L.'X']

Type: Logic[L,L]

Description: 9-value logic for 'or'

NotTable

Value: {L.'U', L.'X', L.'1', L.'0', L.'X', L.'X', L.'1', L.'0', L.'X'}

Type: Logic[L]

Description: 9-value logic for 'not'

XorTable

Value: [L.'U', L.'U', L.'U', L.'U', L.'U', L.'U', L.'U', L.'U', L.'U'; L.'U', L.'X', L.'X', L.'X', L.'X', L.'X', L.'X', L.'X', L.'X'; L.'U', L.'X', L.'0', L.'1', L.'X', L.'X', L.'0', L.'1', L.'X'; L.'U', L.'X', L.'1', L.'0', L.'X', L.'X', L.'1', L.'0', L.'X'; L.'U', L.'X', L.'X', L.'X', L.'X', L.'X', L.'X', L.'X', L.'X'; L.'U', L.'X', L.'X', L.'X', L.'X', L.'X', L.'X', L.'X', L.'X'; L.'U', L.'X', L.'0', L.'1', L.'X', L.'X', L.'0', L.'1', L.'X'; L.'U', L.'X', L.'1', L.'0', L.'X', L.'X', L.'1', L.'0', L.'X'; L.'U', L.'X', L.'X', L.'X', L.'X', L.'X', L.'X', L.'X', L.'X']

Type: Logic[L,L]

Description: 9-value logic for 'xor'

ResolutionTable

Value: [L.'U', L.'U', L.'U', L.'U', L.'U', L.'U', L.'U', L.'U', L.'U'; L.'U', L.'X', L.'X', L.'X', L.'X', L.'X', L.'X', L.'X', L.'X'; L.'U', L.'X', L.'0', L.'X', L.'0', L.'0', L.'0', L.'0', L.'X'; L.'U', L.'X', L.'X', L.'1', L.'1', L.'1', L.'1', L.'1', L.'X'; L.'U', L.'X', L.'0', L.'1', L.'Z', L.'W', L.'L', L.'H', L.'X'; L.'U', L.'X', L.'0', L.'1', L.'W', L.'W', L.'W', L.'W', L.'X'; L.'U', L.'X', L.'0', L.'1', L.'L', L.'W', L.'L', L.'W', L.'X'; L.'U', L.'X', L.'0', L.'1', L.'H', L.'W', L.'W', L.'H', L.'X'; L.'U', L.'X', L.'X', L.'X', L.'X', L.'X', L.'X', L.'X', L.'X']

Type: Logic[L,L]

Description: 9-value logic for 'wiredX'

X01Table

Value: {L.'X', L.'X', L.'0', L.'1', L.'X', L.'X', L.'0', L.'1', L.'X'}

Type: Logic[L]

X01ZTable

Value: {L.'X', L.'X', L.'0', L.'1', L.'Z', L.'X', L.'0', L.'1', L.'Z'}

Type: Logic[L]

UX01Table

Value: {L.'U', L.'X', L.'0', L.'1', L.'X', L.'X', L.'0', L.'1', L.'X'}

Type: Logic[L]

UX01Conv

Value: {R.'U', R.'X', R.'0', R.'1', R.'X', R.'X', R.'0', R.'1', R.'X'}

Type: UX01[L]

DelayTable

Value: [0, 0, -1, 1, 0, 0, -1, 1, 0; 0, 0, -1, 1, 0, 0, -1, 1, 0; 1, 1, 0, 1, 1, 1, 0, 1, 1; -1, -1, -1, 0, -1, -1, -1, 0, -1; 0, 0, -1, 1, 0, 0, -1, 1, 0; 0, 0, -1, 1, 0, 0, -1, 1, 0; 1, 1, 0, 1, 1, 1, 0, 1, 1; -1, -1, -1, 0, -1, -1, -1, 0, -1; 0, 0, -1, 1, 0, 0, -1, 1, 0]

Type: Integer[L,L]

Description: Delay selection for signal change by [old_signal, new_signal] reading: -1: High-Low delay | 0: no delay | 1: Low-High delay

ClockMap

Value: [0, 0, 0, 2, 0, 0, 0, 2, 0; 0, 0, 0, 2, 0, 0, 0, 2, 0; 2, 2, 0, 1, 2, 2, 0, 1, 2; 0, 0, 0, 0, 0, 0, 0, 0, 0; 0, 0, 0, 2, 0, 0, 0, 2, 0; 0, 0, 0, 2, 0, 0, 0, 2, 0; 2, 2, 0, 1, 2, 2, 0, 1, 0; 0, 0, 0, 0, 0, 0, 0, 0, 0; 0, 0, 0, 2, 0, 0, 0, 2, 0]

Type: Integer[L,L]

Description: Edge detection by [pre(clock), clock] reading: 0: 0-Transition | 1: rising edge | 2: X-Transition

StrengthMap

Value: [L.'U', L.'U', L.'U', L.'U', L.'U', L.'U', L.'U', L.'U', L.'U', L.'U'; L.'X', L.'X', L.'X', L.'X', L.'X', L.'W', L.'W', L.'W', L.'W', L.'W'; L.'0', L.'0', L.'L', L.'0', L.'Z', L.'L', L.'L', L.'Z', L.'0', L.'L'; L.'1', L.'H', L.'1', L.'Z', L.'1', L.'H', L.'Z', L.'H', L.'H', L.'1'; L.'X', L.'X', L.'X', L.'X', L.'X', L.'W', L.'W', L.'W', L.'W', L.'W'; L.'X', L.'X', L.'X', L.'X', L.'X', L.'W', L.'W', L.'W', L.'W', L.'W'; L.'0', L.'0', L.'L', L.'0', L.'Z', L.'L', L.'L', L.'Z', L.'0', L.'L'; L.'1', L.'H', L.'1', L.'Z', L.'1', L.'H', L.'Z', L.'H', L.'H', L.'1'; L.'X', L.'X', L.'X', L.'X', L.'X', L.'W', L.'W', L.'W', L.'W', L.'W']

Type: Logic[L,S]

Description: Output strength conversion by [signal, strength] reading

NXferTable

Value: [L.'U', L.'U', L.'U', L.'U', L.'U', L.'U', L.'U', L.'U', L.'U'; L.'U', L.'X', L.'X', L.'X', L.'X', L.'X', L.'X', L.'X', L.'X'; L.'Z', L.'Z', L.'Z', L.'Z', L.'Z', L.'Z', L.'Z', L.'Z', L.'Z'; L.'U', L.'X', L.'0', L.'1', L.'Z', L.'W', L.'L', L.'H', L.'X'; L.'U', L.'X', L.'X', L.'X', L.'X', L.'X', L.'X', L.'X', L.'X'; L.'U', L.'X', L.'X', L.'X', L.'X', L.'X', L.'X', L.'X', L.'X'; L.'Z', L.'Z', L.'Z', L.'Z', L.'Z', L.'Z', L.'Z', L.'Z', L.'Z'; L.'U', L.'X', L.'0', L.'1', L.'Z', L.'W', L.'L', L.'H', L.'X'; L.'U', L.'X', L.'X', L.'X', L.'X', L.'X', L.'X', L.'X', L.'X']

Type: Logic[L,L]

Description: NX Transfer by [enable, input] reading

NRXferTable

Value: [L.'U', L.'U', L.'U', L.'U', L.'U', L.'U', L.'U', L.'U', L.'U'; L.'U', L.'W', L.'W', L.'W', L.'W', L.'W', L.'W', L.'W', L.'W'; L.'Z', L.'Z', L.'Z', L.'Z', L.'Z', L.'Z', L.'Z', L.'Z', L.'Z'; L.'U', L.'W', L.'L', L.'H', L.'Z', L.'W', L.'L', L.'H', L.'W'; L.'U', L.'W', L.'W', L.'W', L.'W', L.'W', L.'W', L.'W', L.'W'; L.'U', L.'W', L.'W', L.'W', L.'W', L.'W', L.'W', L.'W', L.'W'; L.'Z', L.'Z', L.'Z', L.'Z', L.'Z', L.'Z', L.'Z', L.'Z', L.'Z'; L.'U', L.'W', L.'L', L.'H', L.'Z', L.'W', L.'L', L.'H', L.'W'; L.'U', L.'W', L.'W', L.'W', L.'W', L.'W', L.'W', L.'W', L.'W']

Type: Logic[L,L]

Description: NRX Transfer by [enable, input] reading

PXferTable

Value: [L.'U', L.'U', L.'U', L.'U', L.'U', L.'U', L.'U', L.'U', L.'U'; L.'U', L.'X', L.'X', L.'X', L.'X', L.'X', L.'X', L.'X', L.'X'; L.'U', L.'X', L.'0', L.'1', L.'Z', L.'W', L.'L', L.'H', L.'X'; L.'Z', L.'Z', L.'Z', L.'Z', L.'Z', L.'Z', L.'Z', L.'Z', L.'Z'; L.'U', L.'X', L.'X', L.'X', L.'X', L.'X', L.'X', L.'X', L.'X'; L.'U', L.'X', L.'X', L.'X', L.'X', L.'X', L.'X', L.'X', L.'X'; L.'U', L.'X', L.'0', L.'1', L.'Z', L.'W', L.'L', L.'H', L.'X'; L.'Z', L.'Z', L.'Z', L.'Z', L.'Z', L.'Z', L.'Z', L.'Z', L.'Z'; L.'U', L.'X', L.'X', L.'X', L.'X', L.'X', L.'X', L.'X', L.'X']

Type: Logic[L,L]

Description: PX Transfer by [enable, input] reading

PRXferTable

Value: [L.'U', L.'U', L.'U', L.'U', L.'U', L.'U', L.'U', L.'U', L.'U'; L.'U', L.'W', L.'W', L.'W', L.'W', L.'W', L.'W', L.'W', L.'W'; L.'U', L.'W', L.'L', L.'H', L.'Z', L.'W', L.'L', L.'H', L.'W'; L.'Z', L.'Z', L.'Z', L.'Z', L.'Z', L.'Z', L.'Z', L.'Z', L.'Z'; L.'U', L.'W', L.'W', L.'W', L.'W', L.'W', L.'W', L.'W', L.'W'; L.'U', L.'W', L.'W', L.'W', L.'W', L.'W', L.'W', L.'W', L.'W'; L.'U', L.'W', L.'L', L.'H', L.'Z', L.'W', L.'L', L.'H', L.'W'; L.'Z', L.'Z', L.'Z', L.'Z', L.'Z', L.'Z', L.'Z', L.'Z', L.'Z'; L.'U', L.'W', L.'W', L.'W', L.'W', L.'W', L.'W', L.'W', L.'W']

Type: Logic[L,L]

Description: PRX Transfer by [enable, input] reading

Buf3sTable

Value: [{{{L.'U', L.'U', L.'U', L.'U'}, {L.'U', L.'X', L.'X', L.'X'}, {L.'Z', L.'Z', L.'Z', L.'Z'}, {L.'U', L.'X', L.'0', L.'1'}}, {{L.'U', L.'U', L.'U', L.'U'}, {L.'U', L.'X', L.'X', L.'X'}, {L.'Z', L.'Z', L.'Z', L.'Z'}, {L.'U', L.'X', L.'0', L.'H'}}, {{L.'U', L.'U', L.'U', L.'U'}, {L.'U', L.'X', L.'X', L.'X'}, {L.'Z', L.'Z', L.'Z', L.'Z'}, {L.'U', L.'X', L.'L', L.'1'}}, {{L.'U', L.'U', L.'U', L.'Z'}, {L.'U', L.'X', L.'X', L.'Z'}, {L.'Z', L.'Z', L.'Z', L.'Z'}, {L.'U', L.'X', L.'0', L.'Z'}}, {{L.'U', L.'U', L.'U', L.'U'}, {L.'U', L.'X', L.'X', L.'X'}, {L.'Z', L.'Z', L.'Z', L.'Z'}, {L.'U', L.'X', L.'Z', L.'1'}}, {{L.'U', L.'U', L.'U', L.'U'}, {L.'U', L.'W', L.'W', L.'W'}, {L.'Z', L.'Z', L.'Z', L.'Z'}, {L.'U', L.'W', L.'L', L.'H'}}, {{L.'U', L.'U', L.'U', L.'U'}, {L.'U', L.'W', L.'W', L.'Z'}, {L.'Z', L.'Z', L.'Z', L.'Z'}, {L.'U', L.'W', L.'L', L.'Z'}}, {{L.'U', L.'U', L.'U', L.'U'}, {L.'U', L.'W', L.'W', L.'W'}, {L.'Z', L.'Z', L.'Z', L.'Z'}, {L.'U', L.'W', L.'Z', L.'H'}}, {{L.'U', L.'U', L.'U', L.'U'}, {L.'U', L.'W', L.'W', L.'W'}, {L.'Z', L.'Z', L.'Z', L.'Z'}, {L.'U', L.'W', L.'0', L.'H'}}, {{L.'U', L.'U', L.'U', L.'U'}, {L.'U', L.'W', L.'W', L.'W'}, {L.'Z', L.'Z', L.'Z', L.'Z'}, {L.'U', L.'W', L.'L', L.'1'}}}]

Type: Logic[S,R,R]

Description: Tristate Table by [strength, enable, input] reading, high-active enable

Buf3slTable

Value: [{{{L.'U', L.'U', L.'U', L.'U'}, {L.'U', L.'X', L.'X', L.'X'}, {L.'U', L.'X', L.'0', L.'1'}, {L.'Z', L.'Z', L.'Z', L.'Z'}}, {{L.'U', L.'U', L.'U', L.'U'}, {L.'U', L.'X', L.'X', L.'X'}, {L.'U', L.'X', L.'0', L.'H'}, {L.'Z', L.'Z', L.'Z', L.'Z'}}, {{L.'U', L.'U', L.'U', L.'U'}, {L.'U', L.'X', L.'X', L.'X'}, {L.'U', L.'X', L.'L', L.'1'}, {L.'Z', L.'Z', L.'Z', L.'Z'}}, {{L.'U', L.'U', L.'U', L.'Z'}, {L.'U', L.'X', L.'X', L.'Z'}, {L.'U', L.'X', L.'0', L.'Z'}, {L.'Z', L.'Z', L.'Z', L.'Z'}}, {{L.'U', L.'U', L.'U', L.'U'}, {L.'U', L.'X', L.'X', L.'X'}, {L.'U', L.'X', L.'Z', L.'1'}, {L.'Z', L.'Z', L.'Z', L.'Z'}}, {{L.'U', L.'U', L.'U', L.'U'}, {L.'U', L.'W', L.'W', L.'W'}, {L.'U', L.'W', L.'L', L.'H'}, {L.'Z', L.'Z', L.'Z', L.'Z'}}, {{L.'U', L.'U', L.'U', L.'U'}, {L.'U', L.'W', L.'W', L.'Z'}, {L.'U', L.'W', L.'L', L.'Z'}, {L.'Z', L.'Z', L.'Z', L.'Z'}}, {{L.'U', L.'U', L.'U', L.'U'}, {L.'U', L.'W', L.'W', L.'W'}, {L.'U', L.'W', L.'Z', L.'H'}, {L.'Z', L.'Z', L.'Z', L.'Z'}}, {{L.'U', L.'U', L.'U', L.'U'}, {L.'U', L.'W', L.'W', L.'W'}, {L.'U', L.'W', L.'0', L.'H'}, {L.'Z', L.'Z', L.'Z', L.'Z'}}, {{L.'U', L.'U', L.'U', L.'U'}, {L.'U', L.'W', L.'W', L.'W'}, {L.'U', L.'W', L.'L', L.'1'}, {L.'Z', L.'Z', L.'Z', L.'Z'}}}]

Type: Logic[S,R,R]

Description: Tristate Table by [strength, enable, input] reading, low-active enable

MUX2x1Table

Value: [{{{L.'U', L.'U', L.'U', L.'U'}, {L.'U', L.'U', L.'U', L.'U'}, {L.'U', L.'X', L.'0', L.'1'}, {L.'U', L.'U', L.'U', L.'U'}}, {{L.'U', L.'X', L.'U', L.'U'}, {L.'U', L.'X', L.'X', L.'X'}, {L.'U', L.'X', L.'0', L.'1'}, {L.'X', L.'X', L.'X', L.'X'}}, {{L.'U', L.'U', L.'0', L.'U'}, {L.'U', L.'X', L.'0', L.'X'}, {L.'U', L.'X', L.'0', L.'1'}, {L.'0', L.'0', L.'0', L.'0'}}, {{L.'U', L.'U', L.'U', L.'1'}, {L.'U', L.'X', L.'X', L.'1'}, {L.'U', L.'X', L.'0', L.'1'}, {L.'1', L.'1', L.'1', L.'1'}}}]

Type: Logic[R,R,R]

Description: Multiplexer Table by [select, input1, input0] reading

Wolfram Language

In[1]:=
SystemModel["Modelica.Electrical.Digital.Tables"]
Out[1]:=