通道在层次化验证平台中的应用

摘要

本文首先引入了通道的概念;接着介绍了层次化验证平台的结构,并说明了RVM验证方法学中Channel类的函数及其用法.最后,我们在USB测试平台上给出了一个用通道连接处理器和驱动器的实铡.