Research Article

Verification of Mixed-Signal Systems with Affine Arithmetic Assertions

Figure 10

PLL model with the filter time delay.
239064.fig.0010