基于VMT的DDR-SDRAM控制器功能验证

Functional Verification Based on VMT for DDR-SDRAM Controller

介绍了一种基于验证模型技术(VMT)的DDR-SDRAM控制器的功能验证方案。该方案完成了DDR-SDRAM控制器对DDR-SDRAM模型的读写以及AHB 2.0协议的兼容性验证。VMT的使用加快了验证平台的搭建和验证用例的编写。通过分析自动校对结果、仿真波形和覆盖率报告,实现控制器功能验证的快速收敛。FPGA原型验证进一步证明了该方案的可行性。

This paper introduces a solution for functional verification of DDR-SDRAM controller. The solution, based on VMT, completes the writing ＆ reading operations happened between DDR-SDRAM controller and DDR-SDRAM model. The compatibility with AHB 2.0 specification is also verified. Using VMT accelerates building the testbench and writing the tastcases. Fast convergence of functional verification is implemented by analyzing the auto-check results, simulation waveform and coverage report. The verification based on FPGA proves the feasibility of the solution.