Research Article
Verification of Mixed-Signal Systems with Affine Arithmetic Assertions
Table 4
The meaning of operators in AAFA.
| Operator | Explanation |
| | Satisfied at time in which | | Satisfied at time in which | | Satisfied if | | Satisfied if | , AFA+A | Satisfied if the formula holds always or at least once during simulation, respectively |
|
|