论文部分内容阅读
为提高专用指令集处理器设计中的验证效率，将专用指令集处理器的寄存器传输级设计验证与指令集模拟器等软件开发工具的测试相结合，提出一种软硬件协同验证方法.该方法以硬件RTL模型为主控端，以软件模型为被控端，利用Verilog PLI 2.0提供的库函数，实现粗粒度上的同步，细粒度上的比较，仿真结果自动比对得出联合验证结果，实践证明，该方法能够有效提高验证效率和覆盖率，缩短验证周期。