Research Article

Verification of Mixed-Signal Systems with Affine Arithmetic Assertions

Figure 4

Block-diagram representation of model of uncertain delay respectively jitter.
239064.fig.004