Verification of fixed-point circuits specified by Taylor Series using Arithmetic Transform

For imprecise circuits, error is unavoidable, so implementations only realize specifications to some extent. Investigation of their difference is necessary. To overcome disadvantages of simulation, intermediate Arithmetic Transform polynomials are used as an analytical apparatus suitable to precision analysis for both the quantization (bit-width) and approximation sources, and a simple algorithm is proposed to compute each different type error and check an existing implementation of Taylor Series or real-valued polynomials whether satisfying the given error bound.