On Validity of Results of Approximate Symbolic Analysis

The paper studies the validity of results obtained using approximate symbolic analysis in the AC domain regarding the variation of network parameters. Traditional methods provide solutions based on nominal network parameters with no control over the approximation error when the parameters are varied. The method presented is based on the corner analysis that can be embedded in both the circuit and the formula simplification procedures. The properties of the method are demonstrated on an example analysis.