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

摘要

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