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

摘要

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