论文部分内容阅读
提出了一种基于指令集结构，并可与硬件设计和测试环境相契合的自动随机测试生成方法ARTG（auto-matic random test program generation）．它包含用于构造指令的指令树、动态生成策略、分支跳转指令生成算法、流水线冲突预测算法和一套自动结果检查机制．整个测试程序生成过程具有很高的自动化，验证遇到bug时能够减少调试时间迅速找出bug方位．ARTG已应用于自主研发的IME-Diamond数字信号处理器．实验结果表明，该方法产生的测试代码灵活高效，加速了验证过程，并且复杂度低．