Research Article

Verification of Mixed-Signal Systems with Affine Arithmetic Assertions

Figure 12

The PLL output frequency.
239064.fig.0012