RTL级符号模拟系统

• 作者: 况翔 宋国新
• 来源期刊: 华东理工大学学报（自然科学版）
• 学科: 工学
• 关键词: 二叉决策图 Verilog硬件描述语言 符号模拟
• 年，卷（期）: 2004,（6）
• 所属期刊栏目: 研究论文
• 页码范围: 673-676
• 页数: 4页
• 分类号: TP302.1
• 字数: 2268字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-3080.2004.06.015

摘要

给出了一组从Verilog HDL到可符号执行代码的转换规则,并且提出了ProcessQueue机制.通过运用符号模拟的方法和二叉决策图技术,给出了一个RTL级的符号模拟系统的实现方法.本系统能够有效地对RTL级Verilog算法进行符号模拟,并且支持带有时间延迟的If结构的符号模拟.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	宋国新	华东理工大学计算机科学与工程系	62	256	9.0	12.0
2	况翔	华东理工大学计算机科学与工程系	1	0	0.0	0.0