论文部分内容阅读
本文介绍了RVM验证方法学和覆盖率驱动技术，验证方法学的关键就是搭建验证平台。覆盖率驱动技术是让我们搭建的验证平台达到覆盖率期望的要求，从而确保DUT的功能得到充分的验证。本文是根据覆盖率驱动技术搭建了基于RVM的SD／MMC卡控制器的验证平台，该验证平台从上到下分为测试层，产生器层，功能层，命令层和信号层，最后在此基础上给出了SD／MMC卡控制器的仿真波形，并根据波形分析不断修改SD控制器的源代码完善其功能，从而达到验证目的。