松—松 - 博客园

SystemVerilog -- 3.1 SystemVerilog Threads --> fork join

摘要： fork join SystemVerilog 通过构造提供对并行或并发threads的支持。可以使用fork和join同时生成多个procedural blocks。有一些变体允许main thread根据child thread何时完成继续执行其余语句。 Syntax fork // Threa 阅读全文

posted @ 2024-05-13 22:09 松—松阅读(59) 评论(0) 推荐(0) 编辑

SystemVerilog -- 3.5 Wait fork

摘要： Wait fork wait fork允许 main thread 等待，直到所有 forked threads 都结束。这在 main thread 必须生成多个 threads 并在等待所有 threads 完成之前执行某些功能的情况下非常有用。 Example 我们将使用上一篇文章中相同的示例阅读全文

posted @ 2024-05-12 22:22 松—松阅读(103) 评论(0) 推荐(0) 编辑

SystemVerilog -- 3.0 SystemVerilog Threads

摘要： SystemVerilog Threads What are SystemVerilog threads or processes ? thread 或 process 是作为单独实体执行的任何一段代码。在 verilog 中，每个initial和always块都作为单独的 thread 生成，这些阅读全文

posted @ 2024-05-12 21:46 松—松阅读(22) 评论(0) 推荐(0) 编辑

SystemVerilog -- 10.2 SystemVerilog Coverpoint Bins

摘要： SystemVerilog Coverpoint Bins Usage coverpoint 用于在 covergroup 中指定要进行覆盖率收集统计收集的目标的变量。它记录单个变量或表达式的观测值。 coverpoint后面跟变量名或表达式，用于指定要收集覆盖率的目标。可以使用bins关键字手动阅读全文

posted @ 2024-05-12 10:55 松—松阅读(298) 评论(0) 推荐(0) 编辑

SystemVerilog -- 10.1 SystemVerilog Covergroup and Coverpoint

摘要： SystemVerilog Covergroup and Coverpoint coverpoint 是 covergroup 中最基本的单元，多个 coverpoint 的覆盖率构成 covergroup 的覆盖率，在构成整体功能覆盖率。covergroup new covergroup可以在包、阅读全文

posted @ 2024-05-11 23:25 松—松阅读(60) 评论(0) 推荐(0) 编辑

SystemVerilog -- 10.0 SystemVerilog Functional Coverage

摘要： SystemVerilog Functional Coverage covergroup 和 VCS 获取 coverage 的主要区别 covergroup用于功能覆盖率收集，而vcs主要用于代码覆盖率收集。 covergroup需要在设计代码中显示定义和实例化，通过sample()方法触发采样。阅读全文

posted @ 2024-05-11 22:53 松—松阅读(134) 评论(0) 推荐(0) 编辑

SystemVerilog -- 11.4 SystemVerilog Assertions with time delay

摘要： SystemVerilog Assertions with time delay 到目前为止，在之前的文章中，在每个时钟边沿检查了简单的布尔表达式。但是顺序检查需要几个时钟周期才能完成，并且时间延迟由符号指定。## ## Operator 如果a在任何给定时钟周期内不为高电平，则序列在同一周期内启动阅读全文

posted @ 2024-05-10 21:38 松—松阅读(31) 评论(0) 推荐(0) 编辑

SystemVerilog -- 11.3 SystemVerilog $rose、$fell、$stable

摘要： SystemVerilog $rose、$fell、$stable A 是 SystemVerilog assertion 中的简单构成基块，可以表示某些表达式以帮助创建更复杂的属性。sequence Simple Sequence module tb; bit a; bit clk; // Thi 阅读全文

posted @ 2024-05-10 21:18 松—松阅读(149) 评论(0) 推荐(0) 编辑

SystemVerilog -- 11.2 SystemVerilog Concurrent Assertions

摘要： SystemVerilog Concurrent Assertions Concurrent Assertions描述了跨越仿真时间的行为，并且仅在时钟边沿发生时进行评估。 SystemVerilog Concurrent Assertions语句可以在与其它语句同时运行的模块、接口或程序块中指定。阅读全文

posted @ 2024-05-09 22:14 松—松阅读(19) 评论(0) 推荐(0) 编辑

SystemVerilog -- 11.1 SystemVerilog Immediate Assertions

摘要： SystemVerilog Immediate Assertions Immediate Assertions基于模拟事件语义执行，并且需要在过程块中指定。在模拟过程中，它的处理方式与语句中的表达式相同。if 如果表达式在执行语句时为true，则Immediate Assertions将通过，如果表阅读全文

posted @ 2024-05-08 22:16 松—松阅读(24) 评论(0) 推荐(0) 编辑