Check
Last update: 16.07.2025The Check library provides a set of operators to build oracles for test harnesses, which are divided into several categories.
- Properties: The properties are evaluated during several cycles. The triggering condition, if any, is evaluated only once unless the operator is restarted.
- Interval checks: The operators check an input signal is within or out of some range.
| Operator Name | Description |
|---|---|
| Always | Returns true while the input property has never been false. |
| AlwaysAfterCond | Returns true while the input property has never been false after a condition becomes true. |
| AlwaysAfterN | Returns true while the input property has never been false after a given number of cycles. |
| AtLeastCond | Returns true if the input property has always been true before the first occurrence of the condition. |
| AtLeastN | Returns true if the input property has been true for the first given number of cycles. |
| AtMostCond | Returns true if the input property is always false after the first occurrence of the condition. |
| AtMostN | Returns true if the input property is always false after the first given number of cycles. |
| BeforeCond | Returns true if the input property is true at least once before the condition is true. |
| BeforeN | Returns true if the input property is true at least once before the first given number of cycles. |
| BetweenCond | Returns false if p has not been true after the start condition is true and before the end condition is true. |
| BetweenN | Returns false if p has not been true within the next n cycles once c becomes true. |
| Bounds | Checks if the input signal is within an interval. |
| ConfirmN | Returns true if the input property has been true for a given number of cycles. |
| Cycles | Returns true after a given number of cycles. |
| Gap | Checks if the input signal is out of an interval. |
| Gradient | Checks if the absolute value of the input signal gradient is less than a maximum value. |
| IgnoreCond | Returns the input property as soon as the input condition turns to true, otherwise true. |
| IgnoreN | Returns the input property after a given number of cycles, otherwise true. |
| Implies | Returns the logical expression: not(P) or Q. |
| ImpliesCond | Returns the value of q until c is true starting when p is true, otherwise true. |
| ImpliesN | Returns the value of q during n cycles starting when p is true, otherwise true. |
| LowerBound | Checks if the input signal is greater than the lower bound. |
| Never | Returns true while the input property has never been true. |
| Once | Returns true once the input property has been true. |
| UpperBound | Checks if the input signal is less than the upper bound. |
Parent topic:Libraries
