论文部分内容阅读
本文首先分析了传统验证方法的不足和使用RVM随机验证的原因，指出了RVM随机验证的3个关键点，接着介绍了RVM随机验证方法学的主要特征和一些重要术语，以及RVM验证方法学中层次化验证的结构。最后，结合UART（通用异步收发报机）实例，对3个关键点进行了详细的阐述。本文主要介绍了在搭建高效验证平台时，需要认真分析和详细设计的3个关键点，平台搭建方法是RVM参考验证方法学。通过本文的论述，在进行芯片验证时，只要设计好了这3个关键点就可以保证验证的快速和高效。