lead函数是聚合函数不是窗口函数对吗（lead lag函数）



#1 SV相关

随机化和约束是SV中写case时非常重要的点：用于限制随机变量的取值范围或满足特定的条件。约束可以应用于类（class）中的随机变量，以确保在随机化过程中生成的数值符合预期的设计要求；极大简化验证环境的编写和提高覆盖率；
约束的常见方式：
分布约束：使用dist;
条件约束：if语句, 逻辑运算符等；
区间约束：inside

约束的示例：

使用方法：
定义约束块：在类中定义一个约束块（constraint block），用于限制随机变量的取值范围或满足特定的条件。
应用约束：在随机化方法（如randomize()）中应用约束块，以确保随机生成的值符合约束条件。

• 代码覆盖率，主要由行覆盖率、条件覆盖率、fsm覆盖率、跳转覆盖率、分支覆盖率，他们是否都是运行到的，比如 fsm，是否各个状态都运行到了，然后不同状态之间的跳转是否也都运行到了。
  用途：代码覆盖率主要用于确保设计的所有代码都被充分测试；
• 功能覆盖率的话主要是自己编写covergroup和coverpoint去覆盖我们想要覆盖的数据和地址或者其他控制信号。
  类型：
  状态覆盖率（State Coverage）：测量设计的状态机中的每个状态是否被访问到。
  事务覆盖率（Transaction Coverage）：测量设计中的每个事务（如总线传输）是否被覆盖到。
  交叉覆盖率（Cross Coverage）：测量多个变量或参数的组合是否被覆盖到。
  序列覆盖率（Sequence Coverage）：测量设计中的特定序列是否被覆盖到。
  用途：功能覆盖率主要用于确保设计的所有功能点都被充分测试，有助于发现未覆盖的功能场景，从而提高设计的功能完整性和正确性。
• 断言覆盖率主要检测我们的时序关系是否都运行到了,比如总线的地址数据读写时序关系是否都有实现。
  类型：
  断言覆盖率（Assertion Coverage）：测量每个断言是否被触发到。
  断言失败覆盖率（Assertion Failure Coverage）：测量每个断言是否被触发并失败。
  断言通过覆盖率（Assertion Pass Coverage）：测量每个断言是否被触发并通过

用途：主要用于总线时序关系；

可以通过立即断言检查随机化是否成功：例如 assert（p.randomize()) 来检查p句柄指向的实例是否实例化成功
失败的可能原因：最常见的原因：1.变量对象没有声明rand或randc； 2.constraint 有冲突，无法随机出值；
1.约束冲突：
如果约束条件之间存在冲突，使得没有任何一组值能够同时满足所有的约束条件，randomize() 会失败。
例如，如果有两个约束条件 a < 5 和 a > ⅛，并且 a 的类型是 int，那么这两个约束条件之间就存在冲突，因为没有整数值能满足这两个条件。
2.无效的约束：
如果约束表达式本身是无效的或不合法的，randomize() 会失败。
例如，如果约束表达式中包含语法错误或逻辑错误，randomize() 会失败。
3.约束求解器无法找到解决方案：
在某些复杂的情况下，约束求解器可能无法找到满足所有约束条件的解决方案。
例如，如果约束条件非常复杂或涉及大量的变量，求解器可能无法在合理的时间内找到解决方案。
4.随机化次数限制：
如果设置了随机化尝试的最大次数（例如使用 set_max_randomization_tries 方法），并且在达到最大次数之前没有找到满足所有约束条件的解决方案，randomize() 会失败。

判断句柄是否有效：
$cast：用于安全地将一个对象句柄从一种类型转换为另一种类型。转换成功返回 1，失败返回 0。
检查句柄是否指向有效对象：通过检查对象句柄是否为 null 来确定它是否指向一个有效的对象。

随机化的优势：

• 覆盖率提高：随机化可以生成大量的随机测试用例，从而提高代码覆盖率和功能覆盖率。这有助于确保设计的所有部分都得到了充分的验证。
• 边界情况测试：随机化可以自动生成边界情况的测试用例，这些情况在定向测试中可能容易被忽略。
  *提高验证效率：自动化：随机化可以自动化生成测试激励，减少手动编写测试用例的工作量。快速迭代：可以快速生成新的测试用例，加快验证过程，尤其是在回归测试中；
• 更好的回归测试：后期的更好的进行回归测试，撞出bug；种子管理：通过管理随机种子，可以重现特定的测试用例，便于调试和分析；

定向case的优势：
在验证的早期阶段，定向测试可以帮助快速发现和修复明显的问题。
对于一些特定的功能或场景，定向测试可能是唯一有效的验证方法。
验证后期，针对随机化覆盖率提高不上去，需要写定向case来提高覆盖率；

andomize 方法的 with {} 子句允许你在随机化过程中临时添加或覆盖类中定义的约束;允许你在不修改原有类定义的情况下，动态地改变随机化的行为;

• 类中的约束是全局的，适用于类的所有实例和所有随机化过程。这些约束定义了类的属性在随机化时可以取的值的范围和条件。
• randomize with {} 中的约束是局部的，只在当前的随机化过程中生效，并且可以覆盖或补充类中定义的约束; 优先级比类中的约束高；

虚方法：虚方法是在类中定义的可以被子类重写（override）的方法。使用 virtual 关键字可以确保在运行时调用正确的方法版本，即使是通过基类的句柄来调用派生类的方法。这是面向对象编程中的多态性的体现。

虚接口：虚接口是一个指向接口实例的句柄，它允许在不同的模块或类之间共享同一个接口实例。使用 virtual 关键字可以确保接口的信号在不同的模块中保持同步。虚接口通常用于连接测试平台（testbench）和设计（DUT），以便在验证环境中传递信号和控制信息。通过使用虚接口，可以避免在不同的模块中复制接口实例，从而减少代码重复，提高代码的可维护性和可重用性

package是一种将相关的类、类型定义、常量、函数和任务组织在一起的机制。它的主要用途是提供代码的封装和重用，以及避免命名冲突；

用于在接口（interface）中定义端口的方向和用途，在接口中明确指定哪些信号是输入，哪些是输出，以及哪些是双向的；主要用途是在设计中清晰地定义模块之间的信号交互。

版权声明：

本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。
如若内容造成侵权、违法违规、事实不符，请将相关资料发送至xkadmin@xkablog.com进行投诉反馈，一经查实，立即处理！

转载请注明出处，原文链接：https://www.xkablog.com/haskellbc/64250.html