Package with blocks for elementary mathematical functions for boolean variables.
Name | Description |
---|---|
Logical 'and': y = u1 and u2 | |
Output y is true, if the input u has a rising or falling edge (y = change(u)) | |
Output y is true, if the input u has a rising edge (y = edge(u)) | |
Output y is true, if the input u has a falling edge (y = edge(not u)) | |
Maintains a true signal until change condition | |
Logical MultiAnd, y = u[1] and u[2] and u[3] and ... | |
Logical MultiOr, y = u[1] or u[2] or u[3] or ... | |
Logical 'nand': y = not (u1 and u2) | |
Logical 'nor': y = not (u1 or u2) | |
Logical not | |
Logical 'or': y = u1 or u2 | |
Breaks algebraic loops by an infinitesimal small time delay (y = pre(u): event iteration continues until u = pre(u)) | |
Verify two boolean inputs | |
Switch between two boolean signals | |
Timer measuring the time from the time instant where the Boolean input became true | |
Accumulating timer that can be reset | |
Toggles output value whenever its input turns true | |
Delay a rising edge of the input, but do not delay a falling edge. | |
Block that holds an output signal for at least a specified duration | |
Block that holds a true signal for at least a requested duration | |
Generate boolean pulse with the width specified by input | |
Logical 'xor': y = u1 xor u2 | |
Package with blocks that generate source signals | |
Collection of models that validate the logical blocks of the CDL |