一、概述
- 在SV模块中,验证环境整体的构建,是从底层模块的验证组件搭建到通信和激励生成。
- 这些元素无论是软件对象的创建、访问、修改、配置,还是组件之间的通信等都是通过用户自定义的方式来实现的。
- UVM验证方法学,就是将验证过程中可以重用和标准化的部分都规定在其方法学的类库当中。
- 对于验证环境的需求:组件的创建和访问、环境的结构创建、组件之间的连接和运行、不同阶段的顺序安排、激励的生成传递和控制、测试的报告机制。
二、UVM核心类库
- 由于软件环境中对象的生成是动态的,验证环境中的组件也需要UVM提供底层的功能来完成对象的创建和访问。
- 在组件创建之外,UVM也需要提供环境上下层次中创建、连接和运行组件的顺序控制方法,只有在底层机制上有效地保证这一点,才会避免可能发生的句柄悬空问题。
- 在组件通信中,UVM也提供了功能更丰富的TLM(Transaction level model)接口,可以保证相邻组件的通信不再通过显式句柄引用,而是独立于组件的通信方式。
- 对于测试序列(sequence)的生成和传输也是利用了TLM传输在sequence和driver之间完成。而对于不同sequence的发送顺序控制,需要实现sequence之间的灵活调度。
- 为了便于验证环境的调试,UVM的报告机制可以将来自于不同组件、不同级别的信息并且加以过滤,最终生成测试报告。

① 核心基类:提供了最底层的支持,包括了一些基本的方法例如拷贝、创建、比较、打印。
② 工厂(factory)类:

最低0.47元/天 解锁文章
1552

被折叠的 条评论
为什么被折叠?



