论文部分内容阅读
该文主要讨论高级综合系统ＲＴＬ级综合结果正确性验证策略的确定及验证系统设计中ＤＦＧ逆向获取算法的设计与实现，算法主要包括４个处理阶段：ＦＳＭ动态分析及控制输出获取；ＦＳＭ当前状态下数据通信有效元件分析；数据通道结构到ＤＦＧ操作结点转换；ＤＦＧ结点间数据依赖关系分析，共享寄存器变量分离及有向边的形成。