SV_11_随机约束

最新推荐文章于 2024-09-06 17:11:52 发布
最新推荐文章于 2024-09-06 17:11:52 发布
阅读量1.3k 收藏 8
点赞数 1
分类专栏： SV 文章标签： python java 机器学习 深度学习 数据结构
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/m0_49726093/article/details/115861376
版权

目录

1. 随机变量

1.1两种变量类型

2. randomize()

2.1 constraint_mode()

2.2 rand_mode()

2.3 randomize() with

2.3 pre/post_randomize()

3. constraint blocks

3.1 set membership

3.2 distributions constraints

3.3 Implication constraints

3.4  Iterative constraints

4. Variable Ordering

5. randcase

摘要：约束驱动的测试生产允许用户为功能验证自动生成测试，随机测试比传统的、直接的测试方法更有效，随机测试可以找到直接测试难以覆盖的内容。SV允许用户声明随机约束，由求解器处理约束，生产满足约束的随机值。

  • verilog使用$random产生随机整数，默认32位；
  • SV添加了rand变量、randc变量、randomize()方法以及randomize_mode()的随机开关等。

1. 随机变量

SV可以随机化SV支持的所有变量；

数组也可以进行随机化声明；

1.1两种变量类型

  • rand：随机平均分布；
  • randc：随机周期出现
    • 随机循环遍历范围内的所有值；
    • 变量只能是reg或enum类型；
    • 最大位数为16位，数值范围为0-65535。
 1 typedef enum { UNICAST=11, MULTICAST, BROADCAST} pkt_type;
 2 
 3 program rand_ex;
 4   class frame_t;
 5     rand pkt_type ptype;
 6     rand integer len;
 7     randc bit [1:0] no_repeat;
 8     rand bit  [7:0] payload [];
 9     // Constraint the members
10     constraint legal {
11       len >= 2;
12       len <= 5;
13       payload.size() == len;
14     }
15     function string getType(pkt_type ltype);
16       begin
17         case(ltype)
18          UNICAST   : getType = "UNICAST";
19          MULTICAST : getType = "MULTICAST";
20          BROADCAST : getType = "BROADCAST";
21          default   : getType = "UNKNOWN";
22         endcase
23       end
24     endfunction
25     // Print the members of the class
26     task print();
27       begin
28         integer i =0;
29         $write("Packet type %s\n",getType(ptype));
30         $write("Size of frame is %0d\n",len);
31         if (payload.size() > 0) begin
32           $write("Payload is ");
33           for (i=0; i < len; i++) begin
34             $write(" %2x",payload[i]);
35           end
36           $write("\n");
37         end
38         $write("no_repeat is %d\n",no_repeat);
39       end  
40     endtask
41   endclass
42 
43   initial begin
44     frame_t frame = new();
45     integer j = 0;
46     // Print frame before randomize
47     $write("-------------------------------\n");
48     frame.print(); 
49     $write("-------------------------------\n");
50     for (j = 0 ; j < 10;j++) begin
51       if (frame.randomize() == 1) begin
52         // Print frame after randomize
53         frame.print(); 
54       end else begin
55         $write("Failed to randomize frame\n");
56       end
57       $write("-------------------------------\n");
58     end
59   end
60 endprogram
61 
62 //compile result    
63  -------------------------------
64  Packet type UNKNOWN
65  Size of frame is x
66  no_repeat is 0
67  -------------------------------
68  Packet type MULTICAST
69  Size of frame is 3
70  Payload is  0b df 40
71  no_repeat is 0
72  -------------------------------
73  Packet type BROADCAST
74  Size of frame is 3
75  Payload is  fa 4e 15
76  no_repeat is 1
77  -------------------------------
78  Packet type BROADCAST
79  Size of frame is 5
80  Payload is  c4 aa c4 cf 4f
81  no_repeat is 2
82  -------------------------------
View Code

2. randomize()

  • constraint_mode()
  • rand_mode()
  • randmize() with
  • pre_randomize()
  • post_randomize()

2.1 constraint_mode()

  •  constraint_mode()：控制随机约束的开启，初始状态都是激活的；
1 task object[.constraint_identifier]::constraint_mode( bit on_off );
2 or
3 function int object.constraint_identifier::constraint_mode();

 1 typedef enum {UNICAST=11,MULTICAST,BROADCAST} pkt_type;
 2 
 3 program constaint_mode_ex;
 4   class frame_t; 
 5     rand pkt_type ptype;
 6     rand integer len;
 7     rand bit  [7:0] payload [];
 8     constraint common {
 9       payload.size() == len;
10     }
11     // Constraint the members
12     constraint unicast {
13       len <= 2;
14       ptype == UNICAST;
15     }
16     // Constraint the members
17     constraint multicast {
18       len >= 3;
19       len <= 4;
20       ptype == MULTICAST;
21     }
22     function string getType(pkt_type ltype);
23       begin
24         case(ltype)
25          UNICAST   : getType = "UNICAST";
26          MULTICAST : getType = "MULTICAST";
27          BROADCAST : getType = "BROADCAST";
28          default   : getType = "UNKNOWN";
29         endcase
30       end
31     endfunction
32     // Print the members of the class
33     task print() ;
34       begin
35         integer i =0;
36         $write("Packet type %s\n",getType(ptype));
37         $write("Size of frame is %0d\n",len);
38         if (payload.size() > 0) begin
39           $write("Payload is ");
40           for (i=0; i < len; i++) begin
41             $write(" %2x",payload[i]);
42           end
43           $write("\n");
44         end
45       end  
46     endtask
47   endclass
48  
49   initial begin 
50      frame_t frame = new();
51      integer j = 0;
52      $write("-------------------------------\n");
53      // Do contraint for Unicast frame
54      frame.multicast.constraint_mode(0);
55      if (frame.multicast.constraint_mode() == 0) begin
56        if (frame.randomize() == 1) begin
57          frame.print(); 
58        end else begin
59          $write("Failed to randomize frame\n");
60        end
61      end else begin
62         $write("Failed to disable constraint multicast\n");
63      end
64      $write("-------------------------------\n");
65      // Check the status of constraint multicast
66      $write ("Constraint state of multicast is %0d\n",
67          frame.multicast.constraint_mode());
68      $write("-------------------------------\n");
69      // Now disable the unitcast and enable multicast
70      frame.unicast.constraint_mode(0);
71      frame.multicast.constraint_mode(1);
72      if (frame.randomize() == 1) begin
73        frame.print(); 
74      end else begin
75        $write("Failed to randomize frame\n");
76      end
77      $write("-------------------------------\n");
78   end
79 endprogram
80 
81 //compile result    
82  -------------------------------
83  Packet type UNICAST
84  Size of frame is 1
85  Payload is  7d
86  -------------------------------
87  Constraint state of multicast is 0
88  -------------------------------
89  Packet type MULTICAST
90  Size of frame is 3
91  Payload is  df 40 f7
92  -------------------------------
View Code

2.2 rand_mode()

  •  控制随机的开启，初始状态都是激活的；rand_mode()可作为函数进行调用。
1 task object[.random_variable]::rand_mode( bit on_off );
2 or
3 function int object.random_variable::rand_mode();

 1 program rand_mode_ex;
 2   class frame_t;
 3     rand bit [7:0] src_addr;
 4     rand bit [7:0] dst_addr;
 5     task print();
 6       begin 
 7         $write("Source      address %2x\n",src_addr);
 8         $write("Destination address %2x\n",dst_addr);
 9       end
10     endtask  
11   endclass
12 
13   initial begin
14     frame_t frame = new();
15     integer j = 0;
16     $write("-------------------------------\n");
17     $write("Without Randomize Value\n");
18     frame.print();
19     $write("-------------------------------\n");
20     $write("With Randomize Value\n");
21     j = frame.randomize();
22     frame.print();
23     $write("-------------------------------\n");
24     $write("With Randomize OFF and Randomize\n");
25     frame.rand_mode(0);
26     j = frame.randomize();
27     frame.print();
28     $write("-------------------------------\n");
29     $write("With Randomize ON and Randomize\n");
30     frame.rand_mode(1);
31     j = frame.randomize();
32     frame.print();
33     $write("-------------------------------\n");
34     $write("With Randomize OFF on dest addr and Randomize\n");
35     frame.dst_addr.rand_mode(0);
36     j = frame.randomize();
37     frame.print();
38     $write("-------------------------------\n");
39   end
40 endprogram
41 
42 //compile result
43 Without Randomize Value
44  Source      address 00
45  Destination address 00
46  -------------------------------
47  With Randomize Value
48  Source      address 36
49  Destination address 3c
50  -------------------------------
51  With Randomize OFF and Randomize
52  Source      address 36
53  Destination address 3c
54  -------------------------------
55  With Randomize ON and Randomize
56  Source      address 7d
57  Destination address e2
58  -------------------------------
59  With Randomize OFF on dest addr and Randomize
60  Source      address 0b
61  Destination address e2
62  -------------------------------
View Code

2.3 randomize() with

  •  用于在调用randomize()类方法的时候声明一个内联约束；
  • 内联约束的形式与对象约束形式相同；
  • 内联约束与对象约束一起应用。
1 inline_constraint _declaration ::=
2 class_variable_identifier . randomize [
3    ( [ variable_identifier_list | null ] ) ]
4 with constraint_block

 1 program randomize_with;
 2   class frame_t;
 3     rand bit [7:0] src_addr;
 4     rand bit [7:0] dst_addr;
 5     constraint c {
 6       src_addr <=  127;
 7       dst_addr >=  128;
 8     }
 9     task print();
10       begin 
11         $write("Source      address %2x\n",src_addr);
12         $write("Destination address %2x\n",dst_addr);
13       end
14     endtask  
15   endclass
16 
17 
18   initial begin
19     frame_t frame = new();
20     integer i = 0;
21     $write("-------------------------------\n");
22     $write("Randomize Value\n");
23     i = frame.randomize();
24     frame.print();
25     $write("-------------------------------\n");
26     $write("Randomize with Value\n");
27     i = frame.randomize() with {
28       src_addr > 100;
29       dst_addr < 130;
30       dst_addr > 128;
31     };
32     frame.print();
33     $write("-------------------------------\n");
34   end
35 endprogram
36 
37 //compile result
38  -------------------------------
39  Randomize Value
40  Source      address 02
41  Destination address ab
42  -------------------------------
43  Randomize with Value
44  Source      address 79
45  Destination address 81
46  -------------------------------
View Code

2.3 pre/post_randomize()

每个类都会包含pre/post_randomize()函数，在每次randomize()之前之后都会调用。 

  • 当object.randomize()被调用时，它首先对object及其所有启用的随机对象调用pre_randomize()。然后递归地调用super.pre_randomize()。然后递归调用super.post_randomize()来执行操作；
  • 可以重载任何类中的pre_randomize()来执行初始化，设置前提条件；可以重载任何类中的post_randomize()来执行清理、打印诊断和检查随机对象的后置条件。
 1 program pre_post_randomize;
 2 
 3   class frame_t;
 4     rand bit [7:0] data;
 5     bit  parity;
 6     constraint c {
 7      data >  0;
 8     }
 9     function void pre_randomize();
10       begin
11         $write("pre_randomize  : Value of data %b and parity %b\n",data,parity);
12       end
13     endfunction
14     function void post_randomize();
15       begin
16         parity = ^data;
17         $write("post_randomize : Value of data %b and parity %b\n",data,parity);
18       end
19     endfunction
20    endclass
21 
22   initial begin
23     frame_t frame = new();
24     integer i = 0;
25     $write("-------------------------------\n");
26     $write("Randomize Value\n");
27     $write("-------------------------------\n");
28     i = frame.randomize();
29     $write("-------------------------------\n");
30   end
31 endprogram
32 
33 //compile result
34     
35  -------------------------------
36  Randomize Value
37  -------------------------------
38  pre_randomize  : Value of data 00000000 and parity 0
39  post_randomize : Value of data 00000110 and parity 0
40  -------------------------------
View Code

3. constraint blocks

  • inclusive and exclusive (set membership)
  • distribution
  • conditional constraint
  • foreach

3.1 set membership

  • inclusive：inside { set [ set]  };
  • exclusive：！( expression inside { set [ set ] } );
 1 program set_membership;
 2   class frame_t;
 3     rand bit [7:0] src_port;
 4     rand bit [7:0] des_port;
 5     constraint c {
 6        // inclusive
 7        src_port inside { [8'h0:8'hA],8'h14,8'h18 };
 8        // exclusive
 9        !(des_port inside { [8'h4:8'hFF] });
10     }
11     function void post_randomize();
12       begin
13         $display("src port : %0x",src_port);
14         $display("des port : %0x",des_port);
15       end
16     endfunction
17   endclass
18 
19   initial begin
20     frame_t frame = new();
21     integer i,j = 0;
22     for (j=0;j < 4; j++) begin
23       $display("-------------------------------");
24       $display("Randomize Value");
25       $display("-------------------------------");
26       i = frame.randomize();
27     end   
28     $display("-------------------------------");
29   end
30 endprogram
31 
32 //compile result    
33  -------------------------------
34  Randomize Value
35  -------------------------------
36  src port : 3
37  des port : 2
38  -------------------------------
39  Randomize Value
40  -------------------------------
41  src port : 0
42  des port : 2
43  -------------------------------
44  Randomize Value
45  -------------------------------
46  src port : 18
47  des port : 3
48  -------------------------------
49  Randomize Value
50  -------------------------------
51  src port : 2
52  des port : 0
53  -------------------------------
View Code

3.2 distributions constraints

权重分布

 1     
 2 constraint_block ::=
 3 ...
 4 | expression dist { dist_list } ;
 5 dist_list ::= dist_item { , dist_item }
 6 dist_item ::= value_range [ dist_weight ]
 7 dist_weight ::=
 8 := expression
 9 | :/ expression
10 dist_item ::=
11 value_range := expression
12 | value_range :/ expression
13 expression_or_dist ::= expression [ dist { dist_list } ]
  • ：= weight (直接指定权重)；
  • ：/ weight (所有元素平均分配权重)；
 1 program distribution;
 2   class frame_t;
 3     rand bit [7:0] src_port;
 4     rand bit [7:0] des_port;
 5     rand bit [15:0] length;
 6     constraint len {
 7       length dist {
 8         [64  :  127 ] := 10,
 9         [128 :  511 ] := 10,
10         [512 :  2048] := 10
11       };
12     }
13     constraint src {
14       src_port dist {
15         0  := 1,
16         1  := 1,
17         2  := 5,
18         4  := 1
19       };
20     }
21     constraint des {
22       des_port dist {
23         [0   : 5   ] :/ 5,
24         [6   : 100 ] := 1,
25         [101 : 200 ] := 1,
26         [201 : 255 ] := 1
27       };
28     }
29 
30     function void post_randomize();
31       begin
32         $display("src port : %0x",src_port);
33         $display("des port : %0x",des_port);
34         $display("length   : %0x",length);
35       end
36     endfunction
37   endclass
38 
39   initial begin
40     frame_t frame = new();
41     integer i,j = 0;
42     for (j=0;j < 4; j++) begin
43       $display("-------------------------------");
44       $display("Randomize Value");
45       $display("-------------------------------");
46       i = frame.randomize();
47     end
48     $display("-------------------------------");
49   end
50 
51 endprogram
52 //compile result
53     
54  -------------------------------
55  Randomize Value
56  -------------------------------
57  src port : 0
58  des port : 36
59  length   : bd
60  -------------------------------
61  Randomize Value
62  -------------------------------
63  src port : 2
64  des port : 5e
65  length   : 43b
66  -------------------------------
67  Randomize Value
68  -------------------------------
69  src port : 2
70  des port : 83
71  length   : 4fe
72  -------------------------------
73  Randomize Value
74  -------------------------------
75  src port : 2
76  des port : e4
77  length   : 6d9
78  -------------------------------
View Code

3.3 Implication constraints

两种约束条件声明：

  • =>
  • if - else
 1 program conditional_con;
 2   class frame_t;
 3     typedef enum {RUNT,NORMAL,OVERSIZE} size_t;
 4     rand bit [15:0] length;
 5     rand size_t size;
 6   
 7     constraint frame_sizes {
 8       size == NORMAL -> {
 9         length dist {
10           [64  :  127 ] := 10,
11           [128 :  511 ] := 10,
12           [512 :  1500] := 10
13         };
14       }
15       if (size == RUNT)  {
16         length >= 0;
17         length <= 63;
18       } else if (size == OVERSIZE) {
19         length >= 1501;
20         length <= 5000;
21       }
22     }
23     function void post_randomize();
24       begin
25         $display("length   : %0d",length);
26         case(size)
27           RUNT     : $display ("Frame size_t is RUNT");
28           NORMAL   : $display ("Frame size_t is NORMAL");
29           OVERSIZE : $display ("Frame size_t is OVERSIZE");
30         endcase
31       end
32     endfunction
33   endclass
34 
35   initial begin
36      frame_t frame = new();
37      integer i,j = 0;
38      for (j=0;j < 4; j++) begin
39        $write("-------------------------------\n");
40        $write("Randomize Value\n");
41        i = frame.randomize();
42      end
43      $write("-------------------------------\n");
44   end
45 
46 endprogram
47 
48 //compile result
49     
50  -------------------------------
51  Randomize Value
52  length   : 4948
53  Frame size_t is OVERSIZE
54  -------------------------------
55  Randomize Value
56  length   : 4317
57  Frame size_t is OVERSIZE
58  -------------------------------
59  Randomize Value
60  length   : 1774
61  Frame size_t is OVERSIZE
62  -------------------------------
63  Randomize Value
64  length   : 610
65  Frame size_t is NORMAL
66  -------------------------------
View Code

3.4  Iterative constraints

迭代约束条件允许使用循环变量和索引表达式以参数化的方式约束数组变量

  • foreach 构造器指定对数组元素的迭代。
 1 program iterative_con;
 2   class frame_t;
 3     rand bit [15:0] data [];
 4   
 5     constraint frame_sizes {
 6       data.size inside {[1:10]};
 7       foreach (data[i])
 8         data[i] == i;
 9     }
10     function void post_randomize();
11       begin
12         $display("length   : %0d", data.size());
13         for (integer i = 0; i < data.size(); i++) begin
14          $write ("%2x ",data[i]);
15         end
16         $write("\n");
17       end
18     endfunction
19   endclass
20 
21   initial begin
22      frame_t frame = new();
23      integer i,j = 0;
24      for (j=0;j < 4; j++) begin
25        $write("-------------------------------\n");
26        $write("Randomize Value\n");
27        i = frame.randomize();
28      end
29      $write("-------------------------------\n");
30   end
31 
32 endprogram
33 
34 //compile result
35     
36  -------------------------------
37  Randomize Value
38  length   : 4
39  00 01 02 03 
40  -------------------------------
41  Randomize Value
42  length   : 2
43  00 01 
44  -------------------------------
45  Randomize Value
46  length   : 8
47  00 01 02 03 04 05 06 07 
48  -------------------------------
49  Randomize Value
50  length   : 9
51  00 01 02 03 04 05 06 07 08 
52  -------------------------------
View Code

4. Variable Ordering

  • 求解者必须确保所选的随机值在合法值组合上具有一定的值分布。
  • SV提供了solve before 关键字；
 1 program ordering;
 2   class frame_t;
 3     rand bit zero;
 4     rand bit [15:0] data [];
 5   
 6     constraint frame_sizes {
 7       solve zero before data.size;
 8       zero -> data.size == 0;
 9       data.size inside {[0:10]};
10       foreach (data[i])
11         data[i] == i;
12 
13     }
14     function void post_randomize();
15       begin
16         $display("length   : %0d", data.size());
17         $write ("zero:%2x \n",zero);
18         for (integer i = 0; i < data.size(); i++) begin
19          $write ("%2x ",data[i]);
20         end
21         $write("\n");
22       end
23     endfunction
24   endclass
25 
26   initial begin
27      frame_t frame = new();
28      integer i,j = 0;
29      for (j=0;j < 4; j++) begin
30        $write("-------------------------------\n");
31        $write("Randomize Value\n");
32        i = frame.randomize();
33      end
34      $write("-------------------------------\n");
35   end
36 
37 endprogram
38 
39 //compile result
40 # KERNEL: -------------------------------
41 # KERNEL: Randomize Value
42 # KERNEL: length   : 0
43 # KERNEL: zero: 1 
44 # KERNEL: 
45 # KERNEL: -------------------------------
46 # KERNEL: Randomize Value
47 # KERNEL: length   : 1
48 # KERNEL: zero: 0 
49 # KERNEL: 00 
50 # KERNEL: -------------------------------
51 # KERNEL: Randomize Value
52 # KERNEL: length   : 0
53 # KERNEL: zero: 1 
54 # KERNEL: 
55 # KERNEL: -------------------------------
56 # KERNEL: Randomize Value
57 # KERNEL: length   : 3
58 # KERNEL: zero: 0 
59 # KERNEL: 00 01 02 
60 # KERNEL: -------------------------------
View Code

5. randcase

randcase 语句指定了一个语句块，引入case语句对权重进行分支操作。

 1 module randcase_statement;
 2 
 3  task do_randcase();
 4    begin
 5      randcase
 6        20 : begin
 7               $write ("What should I do ? \n");
 8             end
 9        20 : begin
10               $write ("Should I work\n");
11             end
12        20 : begin
13               $write ("Should I watch Movie\n");
14             end
15        40 : begin
16               $write ("Should I complete tutorial\n");
17             end
18      endcase 
19    end
20  endtask
21 
22  initial begin
23    repeat(10) begin
24      // You need to run for more iteration to
25      // get proper distribution
26      do_randcase();
27    end  
28    $finish;
29  end
30 endmodule
31 
32 //compile result
33     
34  Should I watch Movie
35  Should I complete tutorial
36  Should I watch Movie
37  What should I do ? 
38  Should I complete tutorial
39  Should I watch Movie
40  Should I complete tutorial
41  Should I complete tutorial
42  Should I work
43  Should I watch Movie
View Code
ICCJJ
关注
专栏目录
SV_3_随机
weixin_61103637的博客
03-03 470
本章学习随机约束提示：这里对文章进行总结：例如：以上就是今天要讲的内容，本文仅仅简单介绍了pandas的使用，而pandas提供了大量能使我们快速便捷地处理数据的函数和方法。
sv的约束随机以及随机稳定性指导
02-22
#### 四、SystemVerilog随机约束中的常见问题 在实际应用中，经常会遇到各种与约束相关的挑战。 ##### 4.1 未解释的随机化失败 有时，尽管约束看起来合理，但在实际执行时仍然会出现随机化失败的情况。这种情况...
19【SV精通4】随机约束分布_约束块控制_数组约束_随机控制.zip
04-04
19【SV精通4】随机约束分布_约束块控制_数组约束_随机控制.zip
SV中的随机化约束
juvenilexhq的博客
09-06 659
通过调整权重，然后进行永久循环随机，通过find_index with找到5，并且总的数组含量大于5的情况下在退出随机，否则就一直进行随机。（3）数组随机，在使用sum函数的时候一定要注意，为了避免上面两种情况，一定要县约束每个变量大致范围，在使用sum函数进行约束。拆分，需要随机的内容包含：（1）变量取值范围（2）变量和的范围（3）变量个数（4）数组中5的个数不超过10个。（1）后来的约束覆盖前者约束（2）子类约束覆盖父类约束（3）外部约束覆盖内部约束。（1）~（3）都可以设定一个变量，通过变量来约束。
深入理解计算机系统阅读笔记-第四章
最新发布
马不停提的专栏
09-06 824
一个处理器支持的指令和指令的字节级编码称为它的ISA(instruction-set architecture，指令集体系结构)。不同家族处理器有不同的ISA。ISA在编译器编写者和处理器设计人员之间提供了一个概念抽象层，编译器编写者只需要知道允许哪些指令，以及他们是如何编码的；而处理器设计者，必须建造出执行这些指令的处理器。ISA模型看上去是顺序执行的，实际上同时处理多条指令的不同部分，可以提升性能。本章自定义设计一个Y86处理器，它的指令集称为Y86指令集。
SV--随机约束（一）
创芯人--fly的博客
07-21 6834
1.1随机的理解 我们要随机什么? • 器件配置：通过寄存器和系统信号 • 环境配置：随机化验证环境， 例如合理的时钟和外部反馈信号 • 原始输入数据：例如MCDF数据包的长度、 带宽， 数据间的顺序 • 延时：握手信号之间的时序关系，例如valid和ready,req和 ack之间的时序关系 • 协议异常：如果反馈信号给出异常， 那么设计是否可以保持后续数据处理的稳定性呢？ 声明随机变量的类： 随机化是为了产生更多可能的驱动，因此在软件世界"class"一侧的运用...
SV--随机约束（二）
创芯人--fly的博客
07-23 1538
SV--随机约束（二）
SV知识点-随机约束
juvenilexhq的博客
03-14 7445
随机约束 随机变量与方法 rand,randc：对于randc来说，变量中有三个元素，那么经过三次随机化后变量会被遍历 随机方法（参见随机函数）：virtual function int randomize()；randomize()方法是一个虚函数（注意由于class不再具有像module的端口，因此声明接口的指针是当作变量声明，在接口指针声明时必须加virtual否则会报错；注意只有定义了rand或者randc的变量才会随机化，randomize()随机化只会随机化()中的变量，如果（）中有变量，但
ahb_sramc_svtb.rar_AHB SV_ahb sramc_ahb仿真_svtb_ahb_uvm tc_base
07-15
此压缩包“ahb_sramc_svtb.rar”包含的是关于AHB总线的Verilog代码以及SystemVerilog（SV）仿真文件，专门针对AHB SRAM控制器的测试与验证。 首先，让我们详细了解一下AHB总线。AHB是由ARM公司提出的，它基于传统的...
SV_FW_pro_random_costniy_systemverilog_in_
09-30
标题“SV_FW_pro_random_costniy_systemverilog_in_”可能指的是一个关于如何在SystemVerilog中使用随机化（randomization）和成本函数（cost function）来优化基于关联数组的系统级验证流程的项目或教程。...
SV学习笔记（十一）-随机约束
maopao_TT的博客
08-18 844
时，如果有参数，那么只会随机化参数变量，而其余变量无论之前是否被声明为rand/randc，都不会参与到随机化中。如果用户在使用时，指定了外部约束对同一个变量做二次约束，或者用户定义了子类中对同一个变量做了二次约束，那么。有时候在表达式中无法简单的表述约束，例如要计算合并数组中的’1‘，可以在约束块中调用函数来描述约束。没有约束的随机变量会包含许多无效和非法的值，这会使得有效激励的产生变得低效。软约束相互冲突时，根据就近原则，哪里调用随机，哪里的软约束有效。操作符，它们表示每个值的权重时相同的。
[SV]SystemVerilog Randomization
01-06
SystemVerilog Randomization 一、OOP Based Randomization 1、Two types of random properties are supported: rand randc 2、randand randcproperties are randomized when the class method randomize()is called: Randomize property value to full range of data type randomize()is built-in with every class 1 is retur
SV之随机化和约束
热门推荐
bleauchat的博客
05-20 3万+
目录 Randomization 随机化 Randomization Methods 随机化方法 Array Randomization 数组随机化 Constraint Blocks约束块 External Constraint blocks 外部约束块 Constraint Inheritance约束的继承 inside操作符 Weighted Distribu...
SV学习（8）——随机约束和分布、约束块控制
Bunny9__的博客
03-20 7781
SV学习（8）——随机约束和分布1. 随即约束和分布1.1. 为什么需要随机？1.2. 要随机做什么？1.3. 声明随机变量的类1.4. 什么是约束1.5. 权重分布1.6. 集合成员和inside运算符1.7. 条件约束1.8. 双向约束2. 约束块控制2.1. 打开或关闭约束2.2. 内嵌约束 1. 随即约束和分布 1.1. 为什么需要随机？ 芯片体积增大，复杂度日渐提高，传统定向测试已经无法满足验证的需求，而随机测试的比例逐渐提高； 定向测试能找到你认为可能存在缺陷，而随机测试可以找到连你都没想想到
SV理论知识五：随机和约束
m0_59208577的博客
09-24 1323
(2) 动态数组 : 可以使用 size()约束数组的大小，使用 sum()约束数组的和，使用 product()约束数组的积。与在类中定义约束，并且通过对象调用随机化函数 randomize() 相对的是，一些细碎的场景并不需要像类那么全面支持随机约束的方式，而是需要一种更简单的机制来随机化一些在类之外的变量。(2) 可以直接把数组当成一个集合，然后使用inside进行约束，注意，如果数组中某个元素出现多次，那么出现的概率是相同的，也就是说不管元素重复出现多少次，求解的概率都是一样的；
SV绿皮书-第六章-随机化
ystery的博客
06-13 639
当定向测试无法满足要求时，受约束的随机化测试（CRT）随之出现。定向测试集能找到你认为可能存在的bug，CRT方法通过随机激励，可以找到你都无法确定的Bug。通常和面向对象编程（OOP）同时使用。随机变量的声明使用关键字在定义完随机变量后，可以对该随即变量的值进行约束。采用约束块{}的形式，每个约束块都有其名字，块内为随机变量的约束表达式称为约束语句。
[SV]SystemVerilog中randomize() with{}注意事項
元直的博客
02-22 1万+
1、雙燈好左右兩邊的變量名不能相同。若果相同，求解器會認為兩邊是一樣的，導致約束不生效，例如： class dma_seq extends uvm_sequence #(dma_trans); bit [39:0] addr; `uvm_do_with(req, {req.addr == addr;}) endclass : dma_seq 2、假如要約束ad...
sv中的随机化
qq_28284627的博客
08-06 1379
assert (std::randomize(read_tr_max_num) with {read_tr_max_num inside {[1:sequental_tr_max_num]};} );这句的意思是read_tr_max_num的取址范围是 [1:sequental_tr_max_num]； std::这个是个类库引用，randomize是它提供的一个function
sv 随机的一些写法；
major的博客
02-17 498
sv 随机的一些写法；
sv rand_mode
07-25
`sv rand_mode`是Verilog仿真环境中用于控制随机数生成的一种功能设置。它允许开发者指定在仿真过程中如何生成随机数序列。通常，在测试路径、覆盖率分析等需要随机数据输入的场景下，会利用到随机数的功能。 有几种常见的 `rand_mode` 设置： 1. **rand**：这是默认模式，它在每次仿真步骤开始时都会生成一个新的随机值。这种模式适用于大部分情况下的随机化需求，因为它可以提供独立于时间变化的随机序列。 2. **randc**：此模式生成的每个新随机值都基于上一次生成的值。这意味着在连续的仿真步之间，相同的序列可能会重复出现，除非引入了外部的干扰因素来破坏这个序列的线性依赖。这对于某些类型的测试是有用的，例如在验证时序敏感电路的行为时，通过保持输入的某种形式的一致性来进行对比测试。 3. **nosys**：在该模式下，Verilog仿真的随机数生成并不实际地模拟硬件中的随机数发生器。相反，它只提供一种伪随机数生成机制，并不会影响实际的仿真结果。这种方式常用于快速原型设计或验证初期阶段，当对真实硬件中的随机性要求较低时尤其有用。 选择合适的 `rand_mode` 可以优化仿真效率和满足特定的测试需求。例如，在性能关键的应用中，可能更倾向于使用 `nosys` 来减少随机数生成的时间开销；而在需要精确模拟随机事件影响的测试场景中，则应使用 `rand` 或者 `randc`。 ---
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值