Package Modelica.​Electrical.​Digital.​Tables
Truth tables for all components of package Digital

Information

Extends from Modelica.​Icons.​Package (Icon for standard packages).

Package Constants

TypeNameValueDescription
LogicAndTable[L,L][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']9-value logic for 'and'
LogicBuf3slTable[S,R,R][{{{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'}}}]Tristate Table by [strength, enable, input] reading, low-active enable
LogicBuf3sTable[S,R,R][{{{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'}}}]Tristate Table by [strength, enable, input] reading, high-active enable
IntegerClockMap[L,L][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]Edge detection by [pre(clock), clock] reading: 0: 0-Transition | 1: rising edge | 2: X-Transition
IntegerDelayTable[L,L][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]Delay selection for signal change by [old_signal, new_signal] reading: -1: High-Low delay | 0: no delay | 1: Low-High delay
LogicMUX2x1Table[R,R,R][{{{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'}}}]Multiplexer Table by [select, input1, input0] reading
LogicNotTable[L]{L.'U', L.'X', L.'1', L.'0', L.'X', L.'X', L.'1', L.'0', L.'X'}9-value logic for 'not'
LogicNRXferTable[L,L][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']NRX Transfer by [enable, input] reading
LogicNXferTable[L,L][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']NX Transfer by [enable, input] reading
LogicOrTable[L,L][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']9-value logic for 'or'
LogicPRXferTable[L,L][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']PRX Transfer by [enable, input] reading
LogicPXferTable[L,L][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']PX Transfer by [enable, input] reading
LogicResolutionTable[L,L][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']9-value logic for 'wiredX'
LogicStrengthMap[L,S][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']Output strength conversion by [signal, strength] reading
UX01UX01Conv[L]{R.'U', R.'X', R.'0', R.'1', R.'X', R.'X', R.'0', R.'1', R.'X'} 
LogicUX01Table[L]{L.'U', L.'X', L.'0', L.'1', L.'X', L.'X', L.'0', L.'1', L.'X'} 
LogicX01Table[L]{L.'X', L.'X', L.'0', L.'1', L.'X', L.'X', L.'0', L.'1', L.'X'} 
LogicX01ZTable[L]{L.'X', L.'X', L.'0', L.'1', L.'Z', L.'X', L.'0', L.'1', L.'Z'} 
LogicXorTable[L,L][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']9-value logic for 'xor'