摘要
介绍了在SystemC的系统级建模与验证环境中,使用SCV实现用于M IPS指令集指令随机生成的工具。该随机指令生成工具包括静态生成与动态生成两种工作模式。并针对随机指令生成中会遇到的数据访问越界、分支/跳转地址越界等问题提出了解决办法。此外还研究了针对流水线冲突进行验证的方法。
A SCV-based random instruction generation tool used for generation of MIPS instructions in a system level modeling and simulation environment of SystemC was introduced. The tool consisted of two kinds of generation mode, the static mode and the dynamic mode. The problems in random instruction generation, such as data access violation, branch/jump violation and others, were solved. Additionally, a method with respect to the verification of pipeline conflict was provided.
出处
《计算机应用》
CSCD
北大核心
2007年第8期1991-1993,共3页
journal of Computer Applications
关键词
随机指令生成
验证
SYSTEMC
SCV
MIPS
random instruction generation
verification
SystemC
SystemC Verification (SCV)
MIPS