WOLFRAM SYSTEM MODELER
ConjunctiveClockLogical clock ticking whenever all input clocks ticked at least once, then resets and starts the next conjunctive cycle |
SystemModel["Modelica.Clocked.ClockSignals.Clocks.Logical.ConjunctiveClock"]
This information is part of the Modelica Standard Library maintained by the Modelica Association.
For a simple example cf. the logical sampling example.useSolver |
Value: false Type: Boolean Description: = true, if solverMethod shall be explicitly defined |
---|---|
solverMethod |
Value: "ExplicitEuler" Type: SolverMethod Description: Integration method used for discretized continuous-time partitions |
nu |
Value: 2 Type: Integer Description: Number of input connections. |
y |
Type: ClockOutput Description: 'output Clock' as connector |
|
---|---|---|
u |
Type: ClockVectorInput[nu] Description: Vector of Clock input signals. |
combinator |
Type: And Description: Replaceable logical combinator applied on vector of Clock input signals. Important: Must not be any kind of negation since such would result in infinite many ticks for an infinitesimal short time period. |
|
---|---|---|
clock |
Type: EventClock Description: Generate a clock signal when the Boolean input changes from false to true |
|
input_ticked |
Type: ClockToBoolean[nu] Description: Block to translate clock signals to continuous Boolean events (each time the input clock ticks a rising Boolean output edge is produced). |
|
forbidden_state |
Type: And[nu] Description: Logical 'and': y = u1 and u2 |
|
S_false |
Type: BooleanConstant[nu] Description: Generate constant signal of type Boolean |
|
suppress_S |
Type: LogicalSwitch[nu] Description: Logical Switch |
|
input_memory |
Type: RSFlipFlop[nu] Description: A basic RS Flip Flop |
|
reset_ticked |
Type: ClockToBoolean Description: Block to translate clock signals to continuous Boolean events (each time the input clock ticks a rising Boolean output edge is produced). |
|
splitter |
Type: BooleanReplicator Description: Boolean signal replicator |
Modelica.Clocked.Examples.Elementary.ClockSignals Simple example of conjunctive and disjunctive logical clocks, combining clock signals to derive new event driven clocks. |