微处理器体系结构级测试程序自动生成技术
提出了一种由体系结构描述驱动的基于约束求解的微处理器体系结构级测试程序自动生成的新方法,并基于此开发了原型系统--MA2TG(microprocessor architectural automatic test program generator).该系统不仅可以随机生成测试程序,最主要的是可以产生针对特定要求的测试程序.其优点在于:首先,通过体系结构语言描述简化了体系结构建模,方便了对目标处理器体系结构的探索;第二,利用比较成熟的约束求解技术来生成满足需求的测试程序;第三,极大地缩减了测试程序的大小以及微处理器的验证时间.MA2TG已应用于DLX处理器和自主开发的EStar嵌入式微处理器的验证.实验结果表明了此方法的有效性.
体系结构描述语言、约束满足问题、指令模板库、测试程序生成
16
TP302(计算技术、计算机技术)
中国科学院资助项目90207019;60403048;60573173
2006-01-12（万方平台首次上网日期，不代表论文的发表时间）
共9页
2172-2180
