Main Page
Classes
Macros
Modules
Interfaces
Globals
Files
Index
?
simple
reg expr
Hierarchy
Class List
Alphabetical List
vmm_rw_burst Class Reference
Inheritance list for class vmm_rw_burst:
vmm_data
vmm_rw_access
vmm_rw_burst
List of all members.
Defined at line
82
of file
sv/RAL/vmm_rw.sv
.
Public Member Functions
function void
new
( )
Public Attributes
rand logic[63:0]
data []
rand bit[63:0]
incr_addr
rand bit[63:0]
max_addr
rand 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
116
of file
sv/RAL/vmm_rw.sv
.
Member Attribute Documentation
rand logic[63:0] attribute
vmm_rw_burst::
data[]
Superseded attributes
vmm_rw_access
::
data
Defined at line
86
of file
sv/RAL/vmm_rw.sv
.
rand bit[63:0] attribute
vmm_rw_burst::
incr_addr
Defined at line
84
of file
sv/RAL/vmm_rw.sv
.
rand bit[63:0] attribute
vmm_rw_burst::
max_addr
Defined at line
85
of file
sv/RAL/vmm_rw.sv
.
rand int unsigned attribute
vmm_rw_burst::
n_beats
Defined at line
83
of file
sv/RAL/vmm_rw.sv
.
vmm_data
attribute
vmm_rw_burst::
user_data
Defined at line
87
of file
sv/RAL/vmm_rw.sv
.
Member Constraint Documentation
constraint
vmm_rw_burst::
fifo
constraint fifo {
incr_addr == 0;
max_addr == addr;
}
Defined at line
106
of file
sv/RAL/vmm_rw.sv
.
constraint
vmm_rw_burst::
linear
constraint linear {
incr_addr == 1;
max_addr == addr + n_beats - 1;
}
Defined at line
101
of file
sv/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
96
of file
sv/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
89
of file
sv/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
111
of file
sv/RAL/vmm_rw.sv
.
16 December 2008, Copyright © 2008 Synopsys, Inc.