摘要
提出了一种基于指令集结构,并可与硬件设计和测试环境相契合的自动随机测试生成方法ARTG(automatic random test program generation).它包含用于构造指令的指令树、动态生成策略、分支跳转指令生成算法、流水线冲突预测算法和一套自动结果检查机制.整个测试程序生成过程具有很高的自动化,验证遇到bug时能够减少调试时间迅速找出bug方位.ARTG已应用于自主研发的IME—Diamond数字信号处理器.实验结果表明,该方法产生的测试代码灵活高效,加速了验证过程,并且复杂度低.
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 .
出处
《微电子学与计算机》
CSCD
北大核心
2013年第11期154-158,164,共6页
Microelectronics & Computer
关键词
功能验证
随机测试生成
指令树
动态策略
结果检查
functional verification
random test generation
instruction tree
dynamic strategy
result checking
