汇总了数字芯片实验室公众号的文章，微信搜索即可。
附IC面试常考题链接：
通过这种方式，我们可以将可执行代码注入到函数xyz()task中，而无需对其进行修改。
例如你正在编写将被多个测试环境使用的基类，并且对于每个测试环境，基类中的某些task代码将发生变化，这时就可以将该task/function实现为callback method（回调方法）。
顾名思义，Factory pattern（工厂模式）旨在解决对象创建的问题。
上面是我们将要创建的对象。我们需要解决的下一个问题是编写TOY_factory类本身。让我们考虑以下情况：我们传递“1”来获得TOY_Tank类的实例，传递“2”来从TOY_Bus类的实例。
**Wire:**用于连接不同的元件，不存储值，被连续赋值（assign）或者端口（port）驱动
**Reg:**并不意味实际的寄存器，代表Verilog / SystemVerilog中的数据存储元素。保存值，直到将下一个赋值（不是通过assign语句赋值）。可以被综合成触发器，锁存器或组合电路
**Logic:**不能被多驱动，改进了Reg数据类型，可以被连续赋值。
SystemVerilog添加了clocking block指定任何时序规则和同步要求，以确保Testbench在正确的时间与DUT交互，还可以避免竞争冒险问题。
在program中使用非阻塞赋值来驱动设计信号，在re-NBA区域中对其进行更新。
-
断言覆盖率（Assertion coverage）：衡量在测试过程中断言的触发。
可以从一个通用基类（base class）派生所需的类。基类列出了子类（subclasses）的原型。由于不打算实例化基类，只用来派生子类，因此可以通过将基类指定为virtual class将其抽象化（Abstract）
有时候仅需要描述一组对象的属性而无需知道其实际的行为。Abstract classes的方法和构造函数在扩展类中使用，扩展类可以通过Abstract classes共享方法。
队列有固定的顺序，很难将数据插入队列中。但是链表可以轻松地将数据插入任何位置。
$random系统函数每次调用时都会返回一个32位带符号的随机数。
$urandom系统函数每次被调用时都会返回一个32位无符号随机数。
通过 $cast 可以将值赋给数据类型不同的变量。特别是在将基类的句柄赋值给扩展类的句柄。
**rand-随机变量（Random Variable）*在出现所有可能的值之前，可能会出现相同的值。类似于有放回抽签。
randc-随机循环变量（RandomCyclic Variable）:，在出现所有可能的值之前，不会出现相同的值。类似于无放回抽签。
top-level scope，可用于引用任意层次中例化的模块
默认情况下，SystemVerilog中的约束是双向的。这意味着约束求解器（constraint solver）不遵循约束指定的顺序，同时约束所有变量。例如，（a == 0）->（b == 1）应该作为（！（a == 0）||（b == 1））的所有可能解来求解。
如果用户要指定约束求解器求解约束的顺序，则用户可以在约束之前通过solve指定顺序。
Pass by value是将参数传递给functions和tasks的默认方法。每个子例程保留该参数的本地副本。如果在子例程声明中更改了参数，不会影响原来的值。
pass by ref中functions和tasks直接访问作为参数传递的指定变量，就像传递变量的指针一样。传递数组给子例程时，使用pass by ref可以避免大量数据的复制。如果不想更改数组值，可以使用const ref。
无论创建许多Transaction对象，静态变量count只有同一个。
modports是interface的一部分。modports用于指定与不同模块接口所连接的信号的方向。
有时需要在类声明之前声明另一个类变量。例如，如果两个类各自需要对方的句柄。使用typedef可以解决此问题，为第二个类提供前向声明/引用.
过度指定约束求解顺序可能会导致循环依赖，对此没有解决方案，并且约束求解器可能会给出错误/警告，约束求解失败。
**立即断言：**当使用“if”或“assert（）”执行语句时，立即断言检查表达式是否为真。
**并发断言：**并发断言通过使用“property”持续检查仿真过程中的信号值
terminals是不可分割的项，除了其自身的代码块外，不需要其他定义。最终，每个non-terminals都分解为terminals。列表以“|”分隔，表明一组随机的选择。
如果bin指定一组值，则每次覆盖点与该组中的一个值匹配时，相应的计数就会增加。
如果bin指定序列，则每次覆盖点与序列匹配时，相应的计数就会增加。
transaction为UVM中的sequence item概念，通常需要约束随机数据，因此class更适合于此。Struct仅对数据类型进行重组，而不对方法进行重组。
如果将一个对象赋值给另一个对象，则两个句柄将指向同一对象，这不会复制transaction。
Union：与Struct不同，Union的成员均引用同一内存位置。这样，可以在不同时间使用union来容纳不同类型的对象，而无需为每种新类型创建单独的对象。
当你经常需要以几种不同的格式读写寄存器时，Union很有用。但是更经常使用的还是class。
当我们使用变量名时，SystemVerilog将在**当前作用域（current scope）中查找它，然后在父作用域（parent scopes）**中查找，直到找到该变量。“This”起到指定作用域的作用
tagged union包含一个带标记的隐式成员，该隐式成员表示最后一个存储/写入的union成员的名称。如果从非最后写入标记的union成员中读取值，则将显示错误消息。
Extern关键字允许在类外定义方法。**范围解析运算符（::）**将方法构造链接到类声明。
rose。当b的采样值变为1时，
posege返回一个事件（event），而$rose返回一个布尔值，因此它们是不可互换的。
根据测试的反馈来开发随机测试激励。初始测试可以使用许多不同的种子，从而创建许多唯一的输入序列。后来，即使使用了新的种子，测试激励也不太可能产生到达所有的设计空间。
当功能覆盖率逐渐接近其极限时，需要更改测试以找到新方法来覆盖设计的未覆盖空间。这就是所谓的“覆盖率驱动验证”。
Mailbox或queue。对于每个周期，我们分别从输入和响应中收集并删除这些数据。因此，queue或Mailbox比array更方便。
流操作符>**将数据块打包为比特流。
检查该对象是否已初始化。在SV中，所有未初始化的对象句柄都具有特殊的null值。
semaphore用于控制对资源的访问。
使用always语句块对组合逻辑进行建模时，可能会导致latch的生成。SystemVerilog添加了专门的always_comb建模组合逻辑
static和automatic的区别在于值是否共享同一块内存空间，默认为静态。
断言主要用于检查设计的行为是否正常。可以用来提供功能覆盖信息。断言可以分为立即断言（immediate assertions）和并发断言（concurrent assertions）。
在systemverilog中，我们可以在class内部创建一个静态变量。声明为static的变量在其他class之间共享。静态变量通常在声明时完成实例化。
一旦将数据声明为local，就可以在特定类中对其进行访问。
- 父进程将阻塞，直到该语句块中所有进程都完成为止。
- 父进程将阻塞，直到该语句块中的任何一个进程完成为止。
- 父进程与该语句块中所有进程同时执行。
Chandle是一种数据类型，用于存储从DPI传递的指针。chandle的大小取决于机器，初始化值为null。它可用于将参数传递给函数或任务。
将数据和方法绑定在一起。
Mailbox用于两个进程之间的通信。
捕获来自随机激励刺激，封装覆盖率要求。
- Abstract class（抽象类）是可以扩展但不能直接实例化的类。使用virtual关键字定义的。
**关联数组：**具有字符串索引功能，在编译时分配内存。
**动态数组：**在运行时分配内存，构造函数用于初始化动态数组的大小。
- sequences的数量可以组合以创建更复杂的序列。SVA提供了一个关键字"property"来表示这些复杂的序列。
立即断言是某个判断必须为真的语句，类似于if语句。如果assert求值为X，Z或0，则断言失败。
设置property时，如果不指定property的失败情况，则默认情况下，仿真器应将错误指定为$error严重级别。其他严重级别还包括
并发断言中使用的变量在pre-poned区域中采样，并且在Observe区域中评估断言。这两个区域都紧接在时钟沿之前。
指定一个信号或序列在指定的时钟数内连续匹配。
该运算符指定表达式将匹配指定的次数，而该次数不一定是连续的时钟周期。
接口是设计重用的理想选择。
1、当信号数量很大时，它减少了信号错误连接的可能性。
2、易于在设计中添加新信号
有时我们使用循环生成进程，并且在下一次迭代之前不保存变量值。我们应该在fork join语句中使用automatic变量来保存变量。
同时调用此task多次，如果没有automatic修饰符，再次调用wait formem，则第二次调用将覆盖两个参数。
当集合的大小未知或数据空间稀疏时，关联数组是更好的选择。
关联数组在使用前不会分配任何存储，并且索引不限于整数表达式。
像链表一样，可以在队列中的任何位置添加或删除元素，而无需单步执行前面的元素。
像数组一样，可以直接访问带有索引的任何元素，而无需分配新的数组并复制整个内容。
- Local Variable在模块外定义，用于模块内，也可以层次化调用
没有在父类中声明virtual function，尽管"p"指向"“的句柄，但不允许调用该函数。如果多个子类使用相同的名称定义"display_c（）”，则称为多态。
使用枚举类型表示各种激励的类别，从而定义控制字段，控制受约束的变量，提高可读性。
- 在多个层次，由不同的人员进行验证（模块级和系统级）
- 尝试在自己的环境中重现该问题。
- 确定问题之后，在下一个的验证中增加断言或者相应的test case
- **pass by value（按值传递）**是将参数传递给functions和tasks的默认方法。每个子程序保留该参数的本地副本。如果在子程序中更改了参数，不会影响原本数据。
在派生类中使用super关键字来引用父类的成员。
-
重载是一种允许使用相同名称定义多个成员函数的方法。编译器将选择正确的函数。
-
覆盖是一种允许派生类重新定义从基类继承的成员函数的方法。
**Logic：**过程赋值和连续赋值，可以保存值
**Reg：**过程赋值，可以保存值
**Wire：**连续赋值，不能保存值
