基于泰勒展开图的高层次形式验证

摘要：

本文提出了泰勒展开图(Taylor Expansion Diagram,TED)中变量替换和变量合并的算法。基于TED的变量替换、变量顺序的调整以及变量的合并算法,给出了一个反向遍历RTL结构实现构造TED的算法,应用于高层次数据通路的验证。

关键词： 泰勒展开图 变量替换 形式验证 反向遍历

作者: 李东海 马光胜 冯刚

作者单位: 哈尔滨工程大学计算机科学与技术学院,黑龙江哈尔滨,150001

会议类型: 国内会议

会议名称: 第十四届计算机辅助设计与图形学学术会议

会议地点: 济南

会议语种:中文

页码: 518-523

在线出版日期: 2006-10-18（万方平台首次上网日期，不代表论文的发表时间）