【systemverilog】验证平台的搭建（一）

 

Stimulator实现考虑要素——register initiator

• 其存起接口上cmd的默认状态应该为idle，但cmd_addr、cmd_data_in并为指出默认值应该为何值，所以可以考虑给出随机数值测试DUT的接口协议稳定性

Stimulator实现考虑要素——Formatter responder

作为三种接口协议中相对复杂的一个，首先要侧重formatter接口协议是否充分遍历

除了按照协议给出fmt_grant的响应以外，也需要检查协议的时序（提前还是延迟）

 

监测器

• Monitor的主要功能是用来观察DUT的边界或者内部信号，并且经过打包整理传送给其他严重平台的组件，例如checker
• 从监测信号的层次来划分monitor的功能，他们可以分为观察DUT边界信号和DUT内部信号
• 观察DUT边界信号。对于系统信号如始终，可以监测其频率变化，对于总线信号，可以监测总线的传输类型和数据内容，以及检查总线时序是否符合协议
• 观察DUT内部信号。从灰盒验证的手段来看，往往需要探视DUT内部信号，用来指导stimulator的激励发送，或者完成覆盖率收集，又或者完成内部功能的检查

note：如果没有特殊需要，尽可能采用灰盒验证

　　    内部信号应当尽量少去监测

 

比较器

checker肩负了模拟设计应为和功能检查的任务

• 缓存从各个monitor收集到的数据
• 将DUT输入接口侧的数据汇集给内置的reference model，它在这里扮演模拟硬件功能的角色，验证者不应参考真实硬件的逻辑
• 通过数据比较的方法，检查实际收集到的DUT输出端口数据是否同reference model产生的期望数据一直
• 对于设计内部关键功能模块，也有对应的线程进行独立的检查