1、等式左右两边的变量名不能相同。若果相同，求解器会认为两边一样，导致约束不生效，例如：

class dma_seq extends uvm_sequence #(dma_trans);
 
  bit [39:0]          addr;
 
  `uvm_do_with(req, {req.addr == addr;})
 
endclass : dma_seq

2、假如要约束addr为0x0000_000C，下面的写法是不行的：

addr == 1'hC;

因为位宽不对，这样addr永远只为0，失去了最低位的1bit，应写为:

rand_states = (glb_cfg.randomize() with {
 
  glb_cfg == 'hC;
})

3、SystemVerilog中constraint指定不等于。

class user_mem_mam_policy extends uvm_mem_mam_policy;
  bit [31:0]    offset;
  
  constraint policy_offset_cons{
    start_offset % 8 != 0;
 
  }
 
endclass : uvm_mem_mam_policy

4、SystemVerilog中约束数组。

bit [15:0]    dma_rd_len[];
constraint c_dma_rd_len{
  foreach(dma_rd_len[i]){
    dma_rd_len[i] dist {128:=20, 256:=20, [0:127]:/20, [129:255]:/20};
  }
 
}
 
constraint c_dma_rd_len_sum_con{
  dma_rd_len.size() == 655350;
 
}

5、在task中产生一个随机数，可以做如下约束：

function void pre_randomize();
  std::randomize(sub_payload_num) with {sub_payload_num inside {[1:255]};};
endfunction : pre_randomize

6、在randomize with{}语句中，可以使用if-else，但是if-else语句要用大括号包起来，不能使用begin-end

class uvm_axi_cfg extends svt_axi_system_configuration;
 
  `uvm_object_utils(uvm_axi_cfg)
 
  bit [0:0]                    slow_mode;
 
  function new(string name = "uvm_axi_cfg");
    super.new();
    $value$plusargs("SLOW_MOD=%0d", slow_mode);
 
    slavecfg[0].randomize() with {
      axi_interface_type == AXI3;
      data_width         == 32;
      id_width           == 4;
      addr_width         == 32;
    }
 
    if(slow_mode == 'h1) {
      default_arready == 1'b0;
      default_awready == 1'b0;
      default_wready  == 1'b0;
    }
    else if(slow_mode == 'h0) {
      default_arready == 1'b1;
      default_awready == 1'b1;
      default_wready  == 1'b1;
    }
  endfunction
 
endclass