vmm_ral_mem Class Reference

Collaboration diagram for vmm_ral_mem:

[legend]

List of all members.

Public Types
enum	init_e {   UNKNOWNS, ZEROES, ONES, ADDRESS,   VALUE, INCR, DECR }
Public Member Functions
	new (vmm_ral_block parent, string name, vmm_ral::access_e access, longint unsigned size, int unsigned n_bits, bit< VMM_RAL_ADDR_WIDTH-1:0 > base_addr, string domain=" ", bit cover_on=1, bit< 1:0 > rights=0b11, bit unmapped=0)
void	Xlock_modelX ()
void	add_domain (bit< VMM_RAL_ADDR_WIDTH-1:0 > base_addr, string domain, bit< 1:0 > rights, bit unmapped=0)
void	Xregister_ral_accessX (vmm_ral_access access)
virtual string	get_name ()
virtual string	get_fullname ()
virtual int	get_n_domains ()
virtual void	get_domains (ref string domains[])
virtual vmm_ral::access_e	get_access (string domain=" ")
vmm_ral_access	Xget_ral_accessX ()
virtual vmm_ral::access_e	get_rights (string domain=" ")
virtual void	get_virtual_fields (ref vmm_ral_vfield fields[])
virtual vmm_ral_vfield	get_virtual_field_by_name (string name)
virtual void	get_virtual_registers (ref vmm_ral_vreg regs[])
virtual vmm_ral_vreg	get_vreg_by_name (string name)
virtual vmm_ral_vreg	get_vreg_by_offset (bit< 63:0 > offset, string domain=" ")
virtual vmm_ral_block	get_block ()
virtual bit < VMM_RAL_ADDR_WIDTH-1:0 >	get_offset_in_block (bit< VMM_RAL_ADDR_WIDTH-1:0 > mem_addr=0, string domain=" ")
virtual bit < VMM_RAL_ADDR_WIDTH-1:0 >	get_address_in_system (bit< VMM_RAL_ADDR_WIDTH-1:0 > mem_addr=0, string domain=" ")
virtual longint unsigned	get_size ()
virtual int unsigned	get_n_bits ()
int unsigned	get_n_bytes ()
virtual void	display (string prefix=" ", string domain=" ")
virtual string	psdisplay (string prefix=" ", string domain=" ")
virtual bit	set_cover (bit is_on)
virtual bit	is_cover_on ()
virtual void	init (output bit is_ok, input init_e pattern, input bit< VMM_RAL_DATA_WIDTH-1:0 > data)
virtual void	write (output vmm_rw::status_e status, input bit< VMM_RAL_ADDR_WIDTH-1:0 > mem_addr, input bit< VMM_RAL_DATA_WIDTH-1:0 > value, input vmm_ral::path_e path=vmm_ral::DEFAULT, input string domain=" ", input int data_id=-1, input int scenario_id=-1, input int stream_id=-1)
virtual void	read (output vmm_rw::status_e status, input bit< VMM_RAL_ADDR_WIDTH-1:0 > mem_addr, output bit< VMM_RAL_DATA_WIDTH-1:0 > value, input vmm_ral::path_e path=vmm_ral::DEFAULT, input string domain=" ", input int data_id=-1, input int scenario_id=-1, input int stream_id=-1)
virtual void	burst_write (output vmm_rw::status_e status, input vmm_ral_mem_burst burst, input bit< VMM_RAL_DATA_WIDTH-1:0 > value[], input vmm_ral::path_e path=vmm_ral::DEFAULT, input string domain=" ", input int data_id=-1, input int scenario_id=-1, input int stream_id=-1)
virtual void	burst_read (output vmm_rw::status_e status, input vmm_ral_mem_burst burst, output bit< VMM_RAL_DATA_WIDTH-1:0 > value[], input vmm_ral::path_e path=vmm_ral::DEFAULT, input string domain=" ", input int data_id=-1, input int scenario_id=-1, input int stream_id=-1)
virtual void	poke (output vmm_rw::status_e status, input bit< VMM_RAL_ADDR_WIDTH-1:0 > mem_addr, input bit< VMM_RAL_DATA_WIDTH-1:0 > value, input int data_id=-1, input int scenario_id=-1, input int stream_id=-1)
virtual void	peek (output vmm_rw::status_e status, input bit< VMM_RAL_ADDR_WIDTH-1:0 > mem_addr, output bit< VMM_RAL_DATA_WIDTH-1:0 > value, input int data_id=-1, input int scenario_id=-1, input int stream_id=-1)
virtual void	readmemh (string filename)
virtual void	writememh (string filename)
void	set_frontdoor (vmm_ral_mem_frontdoor ftdr, string domain=" ")
vmm_ral_mem_frontdoor	get_frontdoor (string domain=" ")
void	set_backdoor (vmm_ral_mem_backdoor bkdr)
vmm_ral_mem_backdoor	get_backdoor ()
void	prepend_callback (vmm_ral_mem_callbacks cb)
void	append_callback (vmm_ral_mem_callbacks cb)
void	unregister_callback (vmm_ral_mem_callbacks cb)
int unsigned	get_mem_ID ()
vmm_ral_mem	get_mem_by_ID (int unsigned id)
Public Attributes
vmm_mam	mam
vmm_ral_vreg	XvregsX [$]
Static Public Attributes
static vmm_log	log = new("RAL", "memory")
static int unsigned	__vmm_mem_id_factory = 0
Private Member Functions
bit	validate_burst (vmm_ral_mem_burst burst)
int	get_domain_index (string domain)
Private Attributes
string	name
bit	locked
vmm_ral::access_e	access
longint unsigned	size
vmm_ral_block	parent
logic< VMM_RAL_ADDR_WIDTH-1:0 >	offset_in_block []
string	domains []
vmm_ral::access_e	rights []
int unsigned	n_bits
string	constraint_block_names []
vmm_ral_access	ral_access
vmm_ral_mem_frontdoor	frontdoor []
vmm_ral_mem_backdoor	backdoor
vmm_ral_mem_callbacks	callbacks [$]
bit	no_cover
bit	cover_on
int unsigned	__vmm_mem_id = 0
Static Private Attributes
static vmm_ral_mem	__vmm_all_mems [*]

---

Detailed Description

Definition at line 112 of file vmm_ral_mem.svh.

---

Member Enumeration Documentation

enum vmm_ral_mem::init_e

Enumerator:

UNKNOWNS
ZEROES
ONES
ADDRESS
VALUE
INCR
DECR

Definition at line 117 of file vmm_ral_mem.svh.

---

Member Function Documentation

vmm_ral_mem::new	(	vmm_ral_block	parent,
		string	name,
		vmm_ral::access_e	access,
		longint unsigned	size,
		int unsigned	n_bits,
		bit< VMM_RAL_ADDR_WIDTH-1:0 >	base_addr,
		string	domain = " ",
		bit	cover_on = 1,
		bit< 1:0 >	rights = 0b11,
		bit	unmapped = 0
	)

Definition at line 23 of file vmm_ral_mem.sv.

void vmm_ral_mem::Xlock_modelX

(

)

Definition at line 82 of file vmm_ral_mem.sv.

void vmm_ral_mem::add_domain	(	bit< VMM_RAL_ADDR_WIDTH-1:0 >	base_addr,
		string	domain,
		bit< 1:0 >	rights,
		bit	unmapped = 0
	)

Definition at line 87 of file vmm_ral_mem.sv.

void vmm_ral_mem::Xregister_ral_accessX

(

vmm_ral_access

access

)

Definition at line 135 of file vmm_ral_mem.sv.

string vmm_ral_mem::get_name

(

)

[virtual]

Definition at line 144 of file vmm_ral_mem.sv.

string vmm_ral_mem::get_fullname

(

)

[virtual]

Definition at line 149 of file vmm_ral_mem.sv.

int vmm_ral_mem::get_n_domains

(

)

[virtual]

Definition at line 163 of file vmm_ral_mem.sv.

void vmm_ral_mem::get_domains

(

ref string

domains[]

)

[virtual]

Definition at line 168 of file vmm_ral_mem.sv.

vmm_ral::access_e vmm_ral_mem::get_access

(

string

domain = " "

)

[virtual]

Definition at line 173 of file vmm_ral_mem.sv.

vmm_ral_access vmm_ral_mem::Xget_ral_accessX

(

)

vmm_ral::access_e vmm_ral_mem::get_rights

(

string

domain = " "

)

[virtual]

Definition at line 225 of file vmm_ral_mem.sv.

void vmm_ral_mem::get_virtual_fields

(

ref vmm_ral_vfield

fields[]

)

[virtual]

Definition at line 240 of file vmm_ral_mem.sv.

vmm_ral_vfield vmm_ral_mem::get_virtual_field_by_name

(

string

name

)

[virtual]

Definition at line 256 of file vmm_ral_mem.sv.

void vmm_ral_mem::get_virtual_registers

(

ref vmm_ral_vreg

regs[]

)

[virtual]

Definition at line 270 of file vmm_ral_mem.sv.

vmm_ral_vreg vmm_ral_mem::get_vreg_by_name

(

string

name

)

[virtual]

Definition at line 278 of file vmm_ral_mem.sv.

vmm_ral_vreg vmm_ral_mem::get_vreg_by_offset	(	bit< 63:0 >	offset,
		string	domain = " "
	)			[virtual]

Definition at line 289 of file vmm_ral_mem.sv.

vmm_ral_block vmm_ral_mem::get_block

(

)

[virtual]

Definition at line 296 of file vmm_ral_mem.sv.

bit< VMM_RAL_ADDR_WIDTH-1:0 > vmm_ral_mem::get_offset_in_block	(	bit< VMM_RAL_ADDR_WIDTH-1:0 >	mem_addr = 0,
		string	domain = " "
	)			[virtual]

Definition at line 301 of file vmm_ral_mem.sv.

bit< VMM_RAL_ADDR_WIDTH-1:0 > vmm_ral_mem::get_address_in_system	(	bit< VMM_RAL_ADDR_WIDTH-1:0 >	mem_addr = 0,
		string	domain = " "
	)			[virtual]

Definition at line 319 of file vmm_ral_mem.sv.

longint unsigned vmm_ral_mem::get_size

(

)

[virtual]

Definition at line 347 of file vmm_ral_mem.sv.

int unsigned vmm_ral_mem::get_n_bits

(

)

[virtual]

Definition at line 352 of file vmm_ral_mem.sv.

int unsigned vmm_ral_mem::get_n_bytes

(

)

Definition at line 357 of file vmm_ral_mem.sv.

void vmm_ral_mem::display	(	string	prefix = " ",
		string	domain = " "
	)			[virtual]

Definition at line 362 of file vmm_ral_mem.sv.

string vmm_ral_mem::psdisplay	(	string	prefix = " ",
		string	domain = " "
	)			[virtual]

Definition at line 368 of file vmm_ral_mem.sv.

bit vmm_ral_mem::set_cover

(

bit

is_on

)

[virtual]

Definition at line 387 of file vmm_ral_mem.sv.

bit vmm_ral_mem::is_cover_on

(

)

[virtual]

Definition at line 399 of file vmm_ral_mem.sv.

void vmm_ral_mem::init	(	output bit	is_ok,
		input init_e	pattern,
		input bit< VMM_RAL_DATA_WIDTH-1:0 >	data
	)			[virtual]

Definition at line 404 of file vmm_ral_mem.sv.

void vmm_ral_mem::write	(	output vmm_rw::status_e	status,
		input bit< VMM_RAL_ADDR_WIDTH-1:0 >	mem_addr,
		input bit< VMM_RAL_DATA_WIDTH-1:0 >	value,
		input vmm_ral::path_e	path = vmm_ral::DEFAULT,
		input string	domain = " ",
		input int	data_id = -1,
		input int	scenario_id = -1,
		input int	stream_id = -1
	)			[virtual]

Definition at line 454 of file vmm_ral_mem.sv.

void vmm_ral_mem::read	(	output vmm_rw::status_e	status,
		input bit< VMM_RAL_ADDR_WIDTH-1:0 >	mem_addr,
		output bit< VMM_RAL_DATA_WIDTH-1:0 >	value,
		input vmm_ral::path_e	path = vmm_ral::DEFAULT,
		input string	domain = " ",
		input int	data_id = -1,
		input int	scenario_id = -1,
		input int	stream_id = -1
	)			[virtual]

Definition at line 547 of file vmm_ral_mem.sv.

bit vmm_ral_mem::validate_burst

(

vmm_ral_mem_burst

burst

)

[private]

Definition at line 638 of file vmm_ral_mem.sv.

void vmm_ral_mem::burst_write	(	output vmm_rw::status_e	status,
		input vmm_ral_mem_burst	burst,
		input bit< VMM_RAL_DATA_WIDTH-1:0 >	value[],
		input vmm_ral::path_e	path = vmm_ral::DEFAULT,
		input string	domain = " ",
		input int	data_id = -1,
		input int	scenario_id = -1,
		input int	stream_id = -1
	)			[virtual]

Definition at line 674 of file vmm_ral_mem.sv.

void vmm_ral_mem::burst_read	(	output vmm_rw::status_e	status,
		input vmm_ral_mem_burst	burst,
		output bit< VMM_RAL_DATA_WIDTH-1:0 >	value[],
		input vmm_ral::path_e	path = vmm_ral::DEFAULT,
		input string	domain = " ",
		input int	data_id = -1,
		input int	scenario_id = -1,
		input int	stream_id = -1
	)			[virtual]

Definition at line 798 of file vmm_ral_mem.sv.

void vmm_ral_mem::poke	(	output vmm_rw::status_e	status,
		input bit< VMM_RAL_ADDR_WIDTH-1:0 >	mem_addr,
		input bit< VMM_RAL_DATA_WIDTH-1:0 >	value,
		input int	data_id = -1,
		input int	scenario_id = -1,
		input int	stream_id = -1
	)			[virtual]

Definition at line 923 of file vmm_ral_mem.sv.

void vmm_ral_mem::peek	(	output vmm_rw::status_e	status,
		input bit< VMM_RAL_ADDR_WIDTH-1:0 >	mem_addr,
		output bit< VMM_RAL_DATA_WIDTH-1:0 >	value,
		input int	data_id = -1,
		input int	scenario_id = -1,
		input int	stream_id = -1
	)			[virtual]

Definition at line 941 of file vmm_ral_mem.sv.

void vmm_ral_mem::readmemh

(

string

filename

)

[virtual]

Definition at line 959 of file vmm_ral_mem.sv.

void vmm_ral_mem::writememh

(

string

filename

)

[virtual]

Definition at line 963 of file vmm_ral_mem.sv.

void vmm_ral_mem::set_frontdoor	(	vmm_ral_mem_frontdoor	ftdr,
		string	domain = " "
	)

Definition at line 967 of file vmm_ral_mem.sv.

vmm_ral_mem_frontdoor vmm_ral_mem::get_frontdoor

(

string

domain = " "

)

Definition at line 979 of file vmm_ral_mem.sv.

void vmm_ral_mem::set_backdoor

(

vmm_ral_mem_backdoor

bkdr

)

Definition at line 989 of file vmm_ral_mem.sv.

vmm_ral_mem_backdoor vmm_ral_mem::get_backdoor

(

)

Definition at line 994 of file vmm_ral_mem.sv.

void vmm_ral_mem::prepend_callback

(

vmm_ral_mem_callbacks

cb

)

Definition at line 999 of file vmm_ral_mem.sv.

void vmm_ral_mem::append_callback

(

vmm_ral_mem_callbacks

cb

)

Definition at line 1012 of file vmm_ral_mem.sv.

void vmm_ral_mem::unregister_callback

(

vmm_ral_mem_callbacks

cb

)

Definition at line 1025 of file vmm_ral_mem.sv.

int vmm_ral_mem::get_domain_index

(

string

domain

)

[private]

Definition at line 1039 of file vmm_ral_mem.sv.

int unsigned vmm_ral_mem::get_mem_ID

(

)

Definition at line 1073 of file vmm_ral_mem.sv.

vmm_ral_mem vmm_ral_mem::get_mem_by_ID

(

int unsigned

id

)

Definition at line 1077 of file vmm_ral_mem.sv.

---

Member Data Documentation

vmm_log vmm_ral_mem::log = new("RAL", "memory") [static]

Definition at line 113 of file vmm_ral_mem.svh.

vmm_mam vmm_ral_mem::mam

Definition at line 115 of file vmm_ral_mem.svh.

string vmm_ral_mem::name [private]

Definition at line 119 of file vmm_ral_mem.svh.

bit vmm_ral_mem::locked [private]

Definition at line 120 of file vmm_ral_mem.svh.

vmm_ral::access_e vmm_ral_mem::access [private]

Definition at line 122 of file vmm_ral_mem.svh.

longint unsigned vmm_ral_mem::size [private]

Definition at line 123 of file vmm_ral_mem.svh.

vmm_ral_block vmm_ral_mem::parent [private]

Definition at line 125 of file vmm_ral_mem.svh.

logic<VMM_RAL_ADDR_WIDTH-1:0> vmm_ral_mem::offset_in_block[] [private]

Definition at line 127 of file vmm_ral_mem.svh.

string vmm_ral_mem::domains[] [private]

Definition at line 128 of file vmm_ral_mem.svh.

vmm_ral::access_e vmm_ral_mem::rights[] [private]

Definition at line 129 of file vmm_ral_mem.svh.

int unsigned vmm_ral_mem::n_bits [private]

Definition at line 131 of file vmm_ral_mem.svh.

string vmm_ral_mem::constraint_block_names[] [private]

Definition at line 132 of file vmm_ral_mem.svh.

vmm_ral_access vmm_ral_mem::ral_access [private]

Definition at line 134 of file vmm_ral_mem.svh.

vmm_ral_mem_frontdoor vmm_ral_mem::frontdoor[] [private]

Definition at line 135 of file vmm_ral_mem.svh.

vmm_ral_mem_backdoor vmm_ral_mem::backdoor [private]

Definition at line 136 of file vmm_ral_mem.svh.

vmm_ral_mem_callbacks vmm_ral_mem::callbacks[$] [private]

Definition at line 138 of file vmm_ral_mem.svh.

bit vmm_ral_mem::no_cover [private]

Definition at line 140 of file vmm_ral_mem.svh.

bit vmm_ral_mem::cover_on [private]

Definition at line 141 of file vmm_ral_mem.svh.

vmm_ral_mem vmm_ral_mem::__vmm_all_mems[*] [static, private]

Definition at line 143 of file vmm_ral_mem.svh.

int unsigned vmm_ral_mem::__vmm_mem_id_factory = 0 [static]

Definition at line 144 of file vmm_ral_mem.svh.

int unsigned vmm_ral_mem::__vmm_mem_id = 0 [private]

Definition at line 145 of file vmm_ral_mem.svh.

vmm_ral_vreg vmm_ral_mem::XvregsX[$]

Definition at line 147 of file vmm_ral_mem.svh.

---

The documentation for this class was generated from the following files:

• vmm_ral_mem.svh
• vmm_ral_mem.sv