SystemVerilog constraints dist behavior

SystemVerilog
, ,
2

In reply to dyn_verif:
I am puzzled by your results. The only thing wrong I see is the range, instead of { [511:500]
it should be upward { [500:511].
I also believe that the randomizer computes the space of values, it computes


dist { [500:511] := 1, 31 := 1};
as
500, 501, 502, .. 511, 31
Meaning that the 31 has a probability of 1/13

Below worked for me.


class packet;
    rand bit [8:0] addr_1;   
    constraint addr_1_range {   addr_1 dist { [500:511] := 1, 31 := 10}; }
  endclass

module top;
    `include "uvm_macros.svh"   import uvm_pkg::*;
    bit clk, a, b, reset_n;
    bit[8:0] v; 
    packet pkt;
    initial forever #10 clk = !clk; 
  
    initial begin         
      pkt = new();
      repeat (200) begin
        @(posedge clk);
        if (!randomize(pkt, v, b) with {
          v   dist {[500:511] := 1 , 30 := 1};
          b   dist {1'b1 := 1, 1'b0 := 2}; 
        }) `uvm_error("MYERR", "This is a randomize error"); 
        $display("\taddr_1 = %0d, v=%d",pkt.addr_1, v);
      end
      $finish;
    end
  endmodule
  	addr_1 = 31, v=507
# 	addr_1 = 503, v=511
# 	addr_1 = 500, v=509
# 	addr_1 = 511, v=500
# 	addr_1 = 31, v=506
# 	addr_1 = 505, v=502
# 	addr_1 = 505, v=500
# 	addr_1 = 510, v=502
# 	addr_1 = 503, v= 30
# 	addr_1 = 31, v=501
# 	addr_1 = 502, v=503
# 	addr_1 = 501, v= 30
# 	addr_1 = 508, v=510
# 	addr_1 = 502, v=510
# 	addr_1 = 505, v=509
# 	addr_1 = 31, v=507
# 	addr_1 = 31, v= 30
# 	addr_1 = 504, v=500
# 	addr_1 = 506, v=500
# 	addr_1 = 501, v=503
# 	addr_1 = 31, v=505
# 	addr_1 = 508, v=505
# 	addr_1 = 31, v=508
# 	addr_1 = 508, v=503
# 	addr_1 = 501, v=503
# 	addr_1 = 31, v=502
# 	addr_1 = 506, v=502
# 	addr_1 = 31, v=506
# 	addr_1 = 505, v=505
# 	addr_1 = 31, v=510
# 	addr_1 = 31, v=510
# 	addr_1 = 31, v=504
# 	addr_1 = 504, v=502
# 	addr_1 = 511, v=504
# 	addr_1 = 502, v=501
# 	addr_1 = 505, v=504
# 	addr_1 = 31, v=510
# 	addr_1 = 500, v=509
# 	addr_1 = 31, v=505
# 	addr_1 = 31, v=509
# 	addr_1 = 31, v=501
# 	addr_1 = 31, v=505
# 	addr_1 = 503, v=500
# 	addr_1 = 31, v=500
# 	addr_1 = 505, v=502
# 	addr_1 = 508, v=510
# 	addr_1 = 31, v=509
# 	addr_1 = 31, v=503
# 	addr_1 = 31, v=511

Ben Cohen
http://www.systemverilog.us/ ben@systemverilog.us
** SVA Handbook 4th Edition, 2016 ISBN 978-1518681448
…

  1. SVA Package: Dynamic and range delays and repeats SVA: Package for dynamic and range delays and repeats | Verification Academy
  2. Free books: Component Design by Example FREE BOOK: Component Design by Example … A Step-by-Step Process Using VHDL with UART as Vehicle | Verification Academy
    Real Chip Design and Verification Using Verilog and VHDL($3) https://rb.gy/cwy7nb
  3. Papers:

Udemy courses by Srinivasan Venkataramanan (http://cvcblr.com/home.html)
https://www.udemy.com/course/sva-basic/
https://www.udemy.com/course/sv-pre-uvm/