| 基于泰勒展开图的数据路径高层次验证 |
| |
| 引用本文： | 范德会.基于泰勒展开图的数据路径高层次验证[J].黑龙江工程学院学报,2007,21(2):31-35. |
| |
| 作者姓名： | 范德会 |
| |
| 作者单位： | 黑龙江工程学院计算机科学与技术系,黑龙江哈尔滨150050 |
| |
| 摘 要： | 泰勒展开图是基于图的表达方式,能够有效地表示多变量多项式.提出泰勒展开图的变量替换算法和变量合并算法.并在此基础上提出一个反向构建泰勒展开图的算法,该算法用于多项式数据路径的行为描述和寄存器传输级实现之间的等价性验证.实验结果表明提出的算法是有效的.
|
| 关 键 词： | 泰勒展开式 字级多项式 高层次形式验证 多项式数据路径 泰勒 展开图 数据路径 层次 验证 data path polynomial formal verification level high 结果 实验 等价性 寄存器传输级 行为描述 合并算法 替换算法 多变量 多项式 地表 |
| 文章编号： | 1671-4679（2007）02-0031-05 |
| 修稿时间： | 2006-09-30 |
Based TED high level formal verification for polynomial data path |
| |
| FAN De-hui.Based TED high level formal verification for polynomial data path[J].Journal of Heilongjiang Institute of Technology,2007,21(2):31-35. |
| |
| Authors: | FAN De-hui |
| |
| Affiliation: | Department of Computer Science and Technology, Heilongjiang Instiute of Technology, Harbin 150001, China |
| |
| Abstract: | |
| |
| Keywords: | Taylor Expansion Diagrams world-level polynomial high-level formal verification polynomial data path |
| 本文献已被 维普 万方数据 等数据库收录！ |
