该文主要讨论高级综合系统ＲＴＬ（ｒｅｇｉｓｔｅｒｔｒａｎｓｆｅｒｌｅｖｅｌ）级综合结果正确性验证策略的确定及验证系统设计中ＤＦＧ（ｄａｔａｆｌｏｗｇｒａｐｈ）逆向获取算法的设计与实现．算法主要包括４个处理阶段：ＦＳＭ（ｆｉｎｉｔｅｓｔａｔｅｍａｃｈｉｎｅ）动态......

该文主要讨论高级综合系统ＲＴＬ级综合结果正确性验证策略的确定及验证系统设计中ＤＦＧ逆向获取算法的设计与实现，算法主要包括４个处理阶段：ＦＳＭ动态......