芯片验证

芯片验证是为了发现芯片中的错误而执行的过程，它是一个破坏性的过程。完备的验证激励可以更有效地发现芯片错误，进而缩短验证周期。合格的验证激励必须能产生所有可能的验证场景(完备性)，包括合法和非法的场景，并保持最大的可扩展性和可控性。

芯片验证是为了发现芯片中的错误而执行的过程，它是一个破坏性的过程。有效激励灌入待测模块后，需要判断出不符合功能描述的行为。检查器(Checker)就是用于查看待测模块是否按照功能描述文档做出期望的行为，识别出所有的设计缺陷。

状态模式是一种行为设计模式， 让你能在一个对象的内部状态变化时改变其行为， 使其看上去就像改变了自身所属的类一样。

在RTL设计中可能包含了复杂的多个访问仲裁逻辑，使用了多种算法来确定访问内存优先级顺序，包括规定优先级、轮询仲裁等等。仲裁器的输入是多个请求者信号，以及选择要使用的仲裁算法的配置。根据选择的类型和请求者信号的值，仲裁器确定具有最高优先级的请求源，并授予它访问内存的权利。如下图所示，仲裁类型可以动态配置，这就是为什么该特性适合使用策略设计模式进行建模。在该模式中，可以在testcase运行中从提供的一系列算法中选择要应用的特定算法。此外，还可以直接为仲裁添加新算法，而无需修改之前代码。值得注意的是，之前讲到的装饰器设计模式也可用于动态更改行为，关键的区别在于，装饰器模式在原功能基础上添加额外的功能，而策略者模式直接更改原先功能。总得来说，策略模式可以让你改变对象的内部结构，装饰器模式允许你更改对象的皮肤。

单例模式(Singleton)是一种创建型设计模式，能够保证一个类只有一个实例， 并提供一个访问该实例的全局节点。验证环境配置(configuration)类、超时(timeout)处理类等可以使用单例实现。比如说验证环境需要在特定场景中监测特定接口上的超时事件，环境的每个组件都可以依赖超时处理类来设定超时的时刻。让所有组件都使用超时处理类的相同对象有助于调试。