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