Name |
Description |
BooleanToProperty |
Convert Boolean (false,true) to Property (Violated,
Satisfied) |
IntegerToProperty |
Convert Integer (1,2,3) to Property (Violated, Undecided,
Satisfied) |
PropertyToBoolean |
Convert Property (Violated, Undecided, Satisfied) to Boolean
(false, true) |
PropertyToInteger |
Convert Property (Violated, Undecided, Satisfied) to Integer
(1,2,3) |
GreaterThreshold |
Output y is true if input u is greater than threshold |
GreaterEqualThreshold |
Output y is true if input u is greater or equal than
threshold |
LessThreshold |
Output y is true if input u is less than threshold |
LessEqualThreshold |
Output y is true if input u is less or equal than
threshold |
WithinBand |
Output y is true if input u is within a lower and upper
threshold |
DelayedRising |
Output y is true after a duration of a rising input edge and
false after a falling input edge |
AnyTrue |
Output y is true if at least on input is true ("or" of all
inputs) |
AllTrue |
Output y is true if all inputs are true ("and" of all
inputs) |
PropertyNot |
3-valued logic 'not' of Property input u: y = not u |
PropertyOr |
3-valued logic 'or' of Property input u: y = u[1] or u[2] or
... or u[nu] |
PropertyAnd |
3-valued logic 'and' of Property input u: y = u[1] and u[2] and
... and u[nu] |
FallingEdgeTerminate |
Terminate simulation when a falling edge of the input u
occurs |