Research Article
Verification of Mixed-Signal Systems with Affine Arithmetic Assertions
Table 5
Simulation results.
| Example | Time without AAFA (s) | Time with AAFA (s) | Overhead (s) |
| The control system with parameter uncertainty | 17.6 | 19.5 | 1.9 |
| The room heating control system | 9.3 | 10.8 | 1.5 |
| PLL circuit | 7.3 | Simulation run stopped | ā |
|
|