面向微处理器验证的约束描述语言及其编译器

• 作者: 冷彪 朱丹 李思昆 李暾 梁磊 郭阳
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 体系结构描述语言 约束满足问题 约束描述语言
• 年，卷（期）: 2005,（19）
• 所属期刊栏目: 开发设计
• 页码范围: 83-86,136
• 页数: 5页
• 分类号: TP338
• 字数: 6099字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2005.19.027

摘要

该文提出了一种用于微处理器体系结构级测试程序自动生成的约束描述语言,并设计实现了该语言的编译器,详细介绍了语言特性以及为了生成合法体系结构级测试程序,编译器所做的特殊处理.最后给出了利用该语言对DLX微处理器进行验证的实验和结果.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李思昆	国防科技大学计算机学院	100	974	16.0	27.0
2	郭阳	国防科技大学计算机学院	50	449	9.0	20.0
3	李暾	国防科技大学计算机学院	19	186	5.0	13.0
4	朱丹	国防科技大学计算机学院	3	3	1.0	1.0
5	冷彪	国防科技大学计算机学院	1	0	0.0	0.0
6	梁磊	国防科技大学计算机学院	1	0	0.0	0.0