HDL描述中决策图模型的提取方法和实现

• 作者: 万海 冷彪 李思昆 李暾 郭阳
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: VLSI 决策图模型 模拟矢量自动生成
• 年，卷（期）: 2004,（14）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 76-78
• 页数: 3页
• 分类号: TP311.52
• 字数: 3029字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2004.14.029

摘要

决策图模型描述了VLSI设计信号间的数据依赖关系,在VLSI设计验证中有广泛的应用.该文扩展了已有的决策图模型,给出了从硬件描述语言描述的设计中抽取决策图模型的方法并加以实现.将该方法用于RTL级模拟矢量自动生成系统,取得了良好的效果.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郭阳	国防科学技术大学计算机学院	39	252	9.0	14.0
2	李暾	国防科学技术大学计算机学院	29	182	7.0	12.0
3	李思昆	国防科学技术大学计算机学院	133	1339	18.0	31.0
4	万海	国防科学技术大学计算机学院	2	2	1.0	1.0
5	冷彪	国防科学技术大学计算机学院	2	2	1.0	1.0