| 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 |