芯片验证

简单介绍一下自己，我是22届的成都某双非院校的电子信息毕业生。现在从事验证已经快两年，这里想和大家分享一些入行验证后的经验和心得。回想当初快毕业了，对自己何去何从很是迷茫，电子信息本科学的东西突出一个泛泛又杂，几乎没有一点是精通的，在就业市场竞争力非常小。我有幸通过IC修真院了解到IC行业当时的火爆，并成功搭上了IC这条船。

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

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

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

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