控制SystemVerilog Assertion的关闭打开

最新推荐文章于 2024-07-12 19:14:13 发布

XtremeDV

最新推荐文章于 2024-07-12 19:14:13 发布

阅读量5.6k

点赞数 3

分类专栏： SVA system verilog 文章标签： SVA

原文链接：https://verificationacademy.com/forums/systemverilog/assertoff-scope-specific-immediate-assertion

版权

system verilog 同时被 2 个专栏收录

95 篇文章

订阅专栏

SVA

22 篇文章

订阅专栏

module my_control ();
  initial begin : disable_assertions_during_reset
    $display ("%0t %m Disabling assertions during init..", $time);
    $assertoff (0, top_tb.cpu_rtl_1);
    @ (top_tb.reset_n === 1'b1);
    $display ("%0t %m Enabling assertions after init..", $time);
    $asserton (0, top_tb.cpu_rtl_1);
   end
endmodule : my_control
module top_tb;
  logic clk =1’b0, reset_n = 1’b0;
  bus_if b_if; 
  cpu_rtl cpu_rtl_1(clk, reset_n, .*); // Instantiation of cpu module
  my_control my_control_1(); // instantiation of assertion control
..
endmodule : top_tb

在reset期间关闭assertion，reset后打开assertion。使用系统函数$asserton，$assertoff即可。