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

A Constraints Description Language and its Compiler for Microprocessor Verification

作　　者：朱丹[1] 冷彪[1] 李暾[1] 梁磊[1] 郭阳[1] 李思昆[1] 

机构地区：[1]国防科技大学计算机学院,长沙410073

出　　处：《计算机工程与应用》2005年第19期83-86,136,共5页Computer Engineering and Applications

摘　　要：该文提出了一种用于微处理器体系结构级测试程序自动生成的约束描述语言,并设计实现了该语言的编译器,详细介绍了语言特性以及为了生成合法体系结构级测试程序,编译器所做的特殊处理。最后给出了利用该语言对DLX微处理器进行验证的实验和结果。A constraints description language for the architecture-level test program generator of microprocessor has been put forward.And authors have designed its compiler.This paper introduces the features of this language and the special process of the compiler in order to get legal test programs in detail.In the end,it gives an example on how the language is used in the verification of DLX processor and its results.

关 键 词：体系结构描述语言 约束满足问题 约束描述语言 

分 类 号：TP338[自动化与计算机技术—计算机系统结构]