论文部分内容阅读
本文首先介绍了传统验证方法的弊端，描述了RVM验证平台的层次化结构及它的可重用性原理，主要目的是强调在现有的验证平台上为了模块得到完备性验证必须提高它的覆盖率。本文使用的方法是在基于RVM的验证平台上通过验证工程师充分理解协议之后增加测试例的构造来实现覆盖率技术的提高。然后以UART（通用异步收发信机）为实例具体说明如何提高覆盖率，最后得出结论通过这种方法可以使功能覆盖率和代码覆盖率都达到100％，提高了验证的完备性。