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

• 作者: 刘明业 宋瀚涛 许庆平
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 高级综合 硬件设计验证
• 年，卷（期）: 1999,（5）
• 页码范围: 513-515
• 页数: 3页
• 分类号: TP302
• 字数: 2835字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘明业	北京理工大学计算机科学工程系	63	561	13.0	19.0
2	宋瀚涛	北京理工大学计算机科学工程系	124	2643	28.0	47.0
3	许庆平	北京理工大学计算机科学工程系	1	2	1.0	1.0