Based TED high level formal verification for polynomial data path

• 基于泰勒展开图的数据路径高层次验证