6_验证组件

1. 激励发生器

1.1 概述

• Stimulator应该符合时序要求。
  
• Stimulator一般不和硬件内部组件发生关系。
  
  
• CD
• A:一般向边界信号发送激励
  

1.2 如何设计Stimulator

• 对于不可读写的reg是否真的不可读写
• 对于只读寄存器检测是否不可写入
  

2. 监测器

• 捕捉接口时序
• 不仅仅检测端口数据，也可以捕捉内部状态和时序

2.1 概述

• 有时候内部信号不是很及时地反应到外部，这时候就需要监测内部信号。比如内部FIFO的深度，状态机跳转检测，内部时序检测等等。

2.2 检测器方案

2.2.1 方案1——整体式

2.2.2 方案2——分布式

2.2.3 方案比较

• AB
• C不建议，不能保证发生器协议正确
• D是checker的作用

2.3 内部信号检测建议

• 尽可能少的去检测内部信号，内部信号在不断的设计优化中，可能不存在了。
• 能通过观察接口信号推算内部信号状态的，不去检测内部信号。

3. 比较器

3.1 概述

• 参考模型不可综合，不建议设计和验证是一个人。不然RTL模型和参考模型只是一个设计的不同表达，失去了验证的意义。

3.2 比较器实现方式

• ABCD

3.3 比较器组件结构

• monitor需要将信号送入子模块的checker，也需要送入总模块的checker，通信结构复杂
• 多个子模块可能是不同人进行验证的，子checker报告信息不统一
  

3.4 比较器实现建议

• 在不同的验证阶段，分别采取白灰、黑盒验证，黑盒验证时可关闭部分子模块的checker。

4. 接口

• 验证组件和DUT之间需要接口这个媒介来进行连接，做数据驱动和采样。

4.1 概述

• interface中的很多信号不用声明方向， 因为对不同的模块他们的角色不同。
• 尽量不要在interface中给信号赋初值，否则会影响DUT的逻辑异常跳变。也没必要赋初值，因为DUT中复位后该赋初值的都会有可靠初始值。
  
• 在外侧还需要一个top将这三部分包裹起来。
  

4.2 接口的优势

• 拓展通道数只需要额外例化即可

4.3 接口定义与使用

• 接口信号为什么使用四值逻辑而不是二值逻辑？
  
• ABCD，接口也是硬件部分，性质类似module，module能做的90%interface都能做。
• module可以例化module和interface，但是interface只可以例化interface，不能例化module