基于WGLs的字级描述的形式验证

• 作者: 冯刚 焦金良 王冠军 马光胜
• 来源期刊: 哈尔滨工程大学学报
• 学科: 工学
• 关键词: 符号多项式操作 形式验证 WGLs
• 年，卷（期）: 2007,（5）
• 页码范围: 548-552
• 页数: 5页
• 分类号: TP302.1
• 字数: 3324字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-7043.2007.05.013

摘要

在电路的设计过程中,形式验证已经成为重要的步骤.为提高设计的正确性,对高层次硬件描述语言(HDL)如VHDL的验证变得更加重要.文章给出的一个完整的数据通路操作的指令集能够在基于WGLs(weighted generalized lists)模型下进行形式验证的方法,讨论了字级函数和HDL操作符的WGL表示.所提到的技术允许直接地把HDL描述转化为WGLs,模运算和除法运算可以用基于WGLs的算法进行表示,此操作为有效验证过程的核心操作.文中所给出的验证工具是完全自动的,实验结果显示了该方法的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马光胜	哈尔滨工程大学计算机科学与技术学院	74	240	8.0	12.0
2	冯刚	哈尔滨工程大学计算机科学与技术学院	20	75	5.0	7.0
3	王冠军	哈尔滨工程大学计算机科学与技术学院	10	35	4.0	5.0
4	焦金良	哈尔滨工程大学计算机科学与技术学院	1	1	1.0	1.0