系统Verify验证 测试平台编写指南 第六章 随机化

6.1 介绍
原因：随着完整激励集测试设计功能的实现变得愈发复杂，构建足够多的定向测试集已变得不可行；功能项之间的关联通常是错误产生的主要来源，而此类错误难以通过清单检查方法进行排除。
采用受约束的随机测试法（CRT: constrained random test）来自动创建测试集。
CRT环境不仅需要生成激励，还需借助参考模型、传输函数或其他方式对输出结果进行预测。
CRT包含两个组成部分：用于为DUT生成输入激励的测试代码，以及伪随机数发生器（PRNG）的种子（seed）。
6.2 什么需要随机化
必须对DUT中的所有关键点应用随机化技术。通过随机化可以确保控制路径中每个分支都有可能被覆盖和测试。
需考虑设计输入的多个方面，例如：
（1）器件配置；
在RTL级别的设计中，需对足够多的配置情况进行测试。
（2）环境配置；
通常所设计的器件会运行在一个包含多个器件的环境中。在验证DUT时，它连接至一个模拟该环境的测试平台。应将整个环境进行随机化处理，包括其中对象的数量及其各自的配置方式。
（3）原始数据输入；
（4）封装后的输入数据；
（5）协议异常、错误（error）和违规（violation）；
任何可能存在错误的地方最终都可能出现问题。优秀的验证工程师会关注设计在规范边界处的表现，并进一步测试超出规