Verification of Mixed-Signal Systems with Affine Arithmetic Assertions

Figure 2

Block-diagram level representation of model transfer function with uncertain parameters.