提出了一种基于指令集结构,并可与硬件设计和测试环境相契合的自动随机测试生成方法ARTG(auto-matic random test program generation).它包含用于构造指令的指令树、动态生成策略、分支跳转指令生成算法、流水线冲突预测算法和一套自动结果检查机制.整个测试程序生成过程具有很高的自动化,验证遇到bug时能够减少调试时间迅速找出bug方位.ARTG已应用于自主研发的IME-Diamond数字信号处理器.实验结果表明,该方法产生的测试代码灵活高效,加速了验证过程,并且复杂度低.
Abstract
In this paper
we present an instruction set structure based automatic random test program generation (ARTG)
which can cooperate with hardware design and verification environment perfectly. It provides an instruction tree used for composing instructions
a kind of dynamic strategy
an algorithm for generation of branch and jump instructions
an algorithm for predicting pipeline hazard
and a result checking mechanism.ARTG also helps to high automation of verification progress
and locate the bugs rapidly.ARTG has been applied on IME-Diamond DSP.The experiment result shows that test program generated by ARTG are flexible and efficient with low complexity.