黑龙江工程学院学报(自然科学版)
黑龍江工程學院學報(自然科學版)
흑룡강공정학원학보(자연과학판)
JOURNAL OF HEILONGJIANG INSTITUTE OF TECHNOLOGY
2007年
2期
31-35
,共5页
泰勒展开式%字级多项式%高层次形式验证%多项式数据路径
泰勒展開式%字級多項式%高層次形式驗證%多項式數據路徑
태륵전개식%자급다항식%고층차형식험증%다항식수거로경
泰勒展开图是基于图的表达方式,能够有效地表示多变量多项式.提出泰勒展开图的变量替换算法和变量合并算法.并在此基础上提出一个反向构建泰勒展开图的算法,该算法用于多项式数据路径的行为描述和寄存器传输级实现之间的等价性验证.实验结果表明提出的算法是有效的.
泰勒展開圖是基于圖的錶達方式,能夠有效地錶示多變量多項式.提齣泰勒展開圖的變量替換算法和變量閤併算法.併在此基礎上提齣一箇反嚮構建泰勒展開圖的算法,該算法用于多項式數據路徑的行為描述和寄存器傳輸級實現之間的等價性驗證.實驗結果錶明提齣的算法是有效的.
태륵전개도시기우도적표체방식,능구유효지표시다변량다항식.제출태륵전개도적변량체환산법화변량합병산법.병재차기출상제출일개반향구건태륵전개도적산법,해산법용우다항식수거로경적행위묘술화기존기전수급실현지간적등개성험증.실험결과표명제출적산법시유효적.