vmm_rw_burst Class Reference

Inheritance list for class vmm_rw_burst:

List of all members.
Defined at line 81 of file RAL/vmm_rw.sv.

Public Member Functions

function void  new ( )

Public Attributes

logic[64:0]  data 
bit[64:0]  incr_addr 
bit[64:0]  max_addr 
int unsigned  n_beats 
vmm_data  user_data 

Constraints

constraint fifo  ( )
constraint linear  ( )
constraint reasonable  ( )
constraint vmm_rw_burst_valid  ( )
constraint wrap  ( )


Member Function Documentation

  function void
 vmm_rw_burst::new

 (   ) 


 Superseded functions 
 vmm_data :: new 
 vmm_rw_access :: new 


Defined at line 115 of file RAL/vmm_rw.sv.


Member Attribute Documentation

 rand  logic[64:0]  attribute
 vmm_rw_burst::data


 Superseded attributes 
 vmm_rw_access :: data 


Defined at line 85 of file RAL/vmm_rw.sv.

 rand  bit[64:0]  attribute
 vmm_rw_burst::incr_addr


Defined at line 83 of file RAL/vmm_rw.sv.

 rand  bit[64:0]  attribute
 vmm_rw_burst::max_addr


Defined at line 84 of file RAL/vmm_rw.sv.

 rand  int unsigned  attribute
 vmm_rw_burst::n_beats


Defined at line 82 of file RAL/vmm_rw.sv.

  vmm_data  attribute
 vmm_rw_burst::user_data


Defined at line 86 of file RAL/vmm_rw.sv.


Member Constraint Documentation

  constraint
 vmm_rw_burst::fifo


constraint fifo {
      incr_addr == 0;
      max_addr == addr;
   }


Defined at line 105 of file RAL/vmm_rw.sv.

  constraint
 vmm_rw_burst::linear


constraint linear {
      incr_addr == 1;
      max_addr == addr + n_beats - 1;
   }


Defined at line 100 of file RAL/vmm_rw.sv.

  constraint
 vmm_rw_burst::reasonable


constraint reasonable {
      n_beats <= 1024;
      incr_addr inside {0, 1, 2, 4, 8, 16, 32};
   }


Defined at line 95 of file RAL/vmm_rw.sv.

  constraint
 vmm_rw_burst::vmm_rw_burst_valid


constraint vmm_rw_burst_valid {
      n_beats > 0;
      max_addr >= addr;
      if (kind == vmm_rw::WRITE || kind == vmm_rw::EXPECT) data.size() == n_beats;
      else data.size() == 0;
   }


Defined at line 88 of file RAL/vmm_rw.sv.

  constraint
 vmm_rw_burst::wrap


constraint wrap {
      incr_addr > 0;
      max_addr < addr + (n_beats - 1)* incr_addr;
   }


Defined at line 110 of file RAL/vmm_rw.sv.