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