采用算术变换验证泰勒级数表达的定点数电路

作者：庞宇 罗鹏 唐科 李晋南泰勒级数不精确电路算术变换误差来源

摘要：对于不精确的电路,误差是不可避免的,因此设计出的电路只在一定程度上实现了描述,研究它们之间的误差是非常必要的。传统计算误差的方法主要是依靠仿真,但是过长的计算时间往往导致不可行。为了克服仿真的缺陷,首先分析了多项式表达的数据通道中误差的来源,主要包括函数近似误差、输入变量量化误差、常系数量化误差和输出变量量化误差等,然后采用中间生成的算术变换多项式作为精密分析量化（位宽）和近似值来源的分析手段,提出一个高效的算法来计算各种不同类型的误差,检查泰勒级数或实值多项式的电路实现是否满足给定的误差边界。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社