基于泰勒展开图的数据路径高层次验证
기우태륵전개도적수거로경고층차험증
Based TED high level formal verification for polynomial data path