在支持多协议(SD/MMC/CEATA)主机控制器这样的可配置主机控制器IP的验证阶段发现隐藏的缺陷(bug)非常困难，因为这些缺陷隐藏很深，只能通过一系列的事务(如错误事务之后为正常事务)之后才可能被发现。

验证工程师开发离散错误测试来覆盖各种错误情形，并单独运行测试，但是这样并不总能发现与次序相关联的缺陷，因为测试平台可能不会产生包括正常事务和错误事务的混合事务序列，或者测试平台驱动程序可能不会插入错误事务，然后恢复到正常状态，支持包括正常事务和错误事务的随机事务流。

Synopsys (India)公司的Pusuluri Giri Kumar设计了一个解决方案，其核心是事务生成模型和测试平台驱动程序的设计和实现，其设计平台基于可复用验证方法规范。该解决方案能够在为移动存储应用验证主机控制器IP进行严正的时候发现隐藏的缺陷。

移动存储技术将SD、MMC、CEATA等高容量器件集成到数码相机、MP3播放器等产品中，存储器物理接口相同，但通信协议则不同，因此主机控制器必须能够进行配置，作为移动存储设备的接口。

验证这样的可配置主机控制器非常困难，因为需要针对美中存储器件测试整体的功能设计。在通过常规的测试和错误测试之后，在ASIC测试阶段却发现了错误。根本原因分析表明该IP不能正确地处理一个错误事务加上一个常规事务的情况。

验证覆盖报告表明所有的事务都已经被包括，但事实上导致缺陷的事务序列却没有被包括在测试中。在验证阶段发现这样一来次序的缺陷而不要等到ASIC测试阶段非常重要。

Kumar的方法着重使用约束条件随机验证(Constrained Random Verification, CRV)，在难于生成具体的情形时，大多数验证使用随机测试和定向测试。虽然他的事务生成模型和测试平台驱动程序针对SD、MMC、CEATA等协议，但他的概念具有普遍意义，可用于其他类似的应用。

测试平台体系结构遵循RVM规范，采用分层的概念，并定义了每层的功能以及模型实现的方法。处理事务需要的所有方法通过驱动程序来实现，驱动程序去掉了测试案例的许多代码，使测试案例更易于生成。这种体系结构的另一个好处是测试平台能够在硬件软件协同验证中重复使用。

在这个方法中，主机控制器RTL是测试设备(DUV, Device Under Verification)，一端连接到驱动程序，另一端连接到设备验证IP(SD、MMC、CEATA)，设备验证IP是存储器期间的一个总线功能模型。

事务生成层负责产生各个协议的常规和错误事务。测试平台驱动程序在功能上等于软件驱动程序，但它是采用硬件验证语言VERA开发的。随机事务的生成对约束条件随机验证至关重要。测试平台的事务生成层负责生成满足要求的随机事务。事务模型基于RVM规范。事务模型能够产生随机事务流，包括正常事务和错误事务，实现验证中的边际情况。

测试计划在验证阶段的开始时就已制定，并列举出需要覆盖的测试情形。根据RVM规范的功能覆盖模型满足完成测试需要的各个情形，并集成到测试平台中。在验证结束时，生成一个覆盖报告，可进行分析，以发现没有包括的情况。这些没有包括的情形可通过新的测试来覆盖，或者优化限制条件来覆盖。

使用这些模型的好处在于易于生成随机事务流，驱动程序中的错误恢复机制可用于发现设计中的与次序相关的缺陷，以及驱动程序中的错误恢复方法简化了测试案例生成。