本文通过定性分析传统激励生成机制和受限随机(Directed-Random)向量生成机制的优缺点，选择了受限随机向量生成机制作为搭建DMAC验证环境的激励生成机制。可重用性能够降低验证工作的难度，论文采用模块化组件构建DMAC的验证环境，把测试文件、待验证设计(DesignUnderverification，简称DUV)的行为属性/特征从验证环境中分离出来，并且把对DUV行为的描述和对DUV行为实现方式的描述独立开来，通过这些方法，搭建了DMAC的可重用性验证环境。验证过程的可观察性和可控制性制约着验证工作的效率，论文在搭建DMAC验证环境时，提出使用断言技术对其进行改进。通过比较评估几种典型断言验证方法的性能和成本，本文选择了开放验证库(OpenVerificationLibrary，即OVL)来改进验证过程的可控制性和可观察性，OVL由31个断言监视器(AssertionMonitor)组成，论文详细讨论了其实现方式和使用方法原则。根据DMAC设计规范，提取出57个行为属性，并在验证环境中插入断言监视器对其进行监视，其中53个属性获得验证。实验结果表明，采用本功能验证方案可以高效率的查找错误，增加了设计成功的信心，为流片成功提供了有效的保证。