一种基于参考模型的GPDSP指令流控自动验证方法

王慧丽, 郭阳

An automatic verification method for GPDSP instruction flow control based on reference model

WANG Hui-li, GUO Yang

计算机工程与科学 . 2021, (04): 652 -661 .