面向高级综合验证的数据流图提取技术研究

该文主要讨论高级综合系统RTL(register transfer level)级综合结果正确性验证策略的确 定及验证系统设计中DFG(data flow graph)逆向获取算法的设计与实现.算法主要包括4个处 理阶段：FSM(finite state machine)动态分析及控制输出获取；FSM当前状态下数据通道有 效元件分析；数据通道结构到DFG操作结点转换；DFG结点间数据依赖关系分析、共享寄存器 变量分离及有向边的形成