%0 Journal Article
%T 面向高级综合验证的数据流图提取技术研究
%A 许庆平？
%A 刘明业？
%A 宋瀚涛？
%J 软件学报
%P 508-510
%D 1999
%X 该文主要讨论高级综合系统rtl(registertransferlevel)级综合结果正确性验证策略的确定及验证系统设计中dfg(dataflowgraph)逆向获取算法的设计与实现.算法主要包括4个处理阶段：fsm(finitestatemachine)动态分析及控制输出获取；fsm当前状态下数据通道有效元件分析；数据通道结构到dfg操作结点转换；dfg结点间数据依赖关系分析、共享寄存器变量分离及有向边的形成.
%K 高级综合
%K 硬件设计验证.
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19990510&flag=1