Research Article

Verification of Mixed-Signal Systems with Affine Arithmetic Assertions

Figure 1

System model including parameter deviations.
239064.fig.001