vmm_ral_mem Class Reference

Collaboration diagram for vmm_ral_mem:
Collaboration graph
[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 task init (output bit is_ok, input init_e pattern, input bit< VMM_RAL_DATA_WIDTH-1:0 > data)
virtual task 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 task 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 task 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 task 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 task 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 task 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 task readmemh (string filename)
virtual task 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)

Public Attributes

vmm_mam mam
vmm_ral_vreg XvregsX [$]

Static Public Attributes

static vmm_log log = new("RAL", "memory")

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

Detailed Description

Definition at line 112 of file vmm_ral_mem.svh.


Member Enumeration Documentation

Enumerator:
UNKNOWNS 
ZEROES 
ONES 
ADDRESS 
VALUE 
INCR 
DECR 

Definition at line 117 of file vmm_ral_mem.svh.


Member Function Documentation

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 83 of file vmm_ral_mem.sv.

void vmm_ral_mem::append_callback ( vmm_ral_mem_callbacks  cb  ) 

Definition at line 1008 of file vmm_ral_mem.sv.

task 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 794 of file vmm_ral_mem.sv.

task 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 670 of file vmm_ral_mem.sv.

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

Definition at line 358 of file vmm_ral_mem.sv.

vmm_ral::access_e vmm_ral_mem::get_access ( string  domain = ""  )  [virtual]

Definition at line 169 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 315 of file vmm_ral_mem.sv.

vmm_ral_mem_backdoor vmm_ral_mem::get_backdoor (  ) 

Definition at line 990 of file vmm_ral_mem.sv.

vmm_ral_block vmm_ral_mem::get_block (  )  [virtual]

Definition at line 292 of file vmm_ral_mem.sv.

int vmm_ral_mem::get_domain_index ( string  domain  )  [private]

Definition at line 1035 of file vmm_ral_mem.sv.

void vmm_ral_mem::get_domains ( ref string  domains[]  )  [virtual]

Definition at line 164 of file vmm_ral_mem.sv.

vmm_ral_mem_frontdoor vmm_ral_mem::get_frontdoor ( string  domain = ""  ) 

Definition at line 975 of file vmm_ral_mem.sv.

string vmm_ral_mem::get_fullname (  )  [virtual]

Definition at line 145 of file vmm_ral_mem.sv.

int unsigned vmm_ral_mem::get_n_bits (  )  [virtual]

Definition at line 348 of file vmm_ral_mem.sv.

int unsigned vmm_ral_mem::get_n_bytes (  ) 

Definition at line 353 of file vmm_ral_mem.sv.

int vmm_ral_mem::get_n_domains (  )  [virtual]

Definition at line 159 of file vmm_ral_mem.sv.

string vmm_ral_mem::get_name (  )  [virtual]

Definition at line 140 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 297 of file vmm_ral_mem.sv.

vmm_ral::access_e vmm_ral_mem::get_rights ( string  domain = ""  )  [virtual]

Definition at line 221 of file vmm_ral_mem.sv.

longint unsigned vmm_ral_mem::get_size (  )  [virtual]

Definition at line 343 of file vmm_ral_mem.sv.

vmm_ral_vfield vmm_ral_mem::get_virtual_field_by_name ( string  name  )  [virtual]

Definition at line 252 of file vmm_ral_mem.sv.

void vmm_ral_mem::get_virtual_fields ( ref vmm_ral_vfield  fields[]  )  [virtual]

Definition at line 236 of file vmm_ral_mem.sv.

void vmm_ral_mem::get_virtual_registers ( ref vmm_ral_vreg  regs[]  )  [virtual]

Definition at line 266 of file vmm_ral_mem.sv.

vmm_ral_vreg vmm_ral_mem::get_vreg_by_name ( string  name  )  [virtual]

Definition at line 274 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 285 of file vmm_ral_mem.sv.

task 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 400 of file vmm_ral_mem.sv.

bit vmm_ral_mem::is_cover_on (  )  [virtual]

Definition at line 395 of file vmm_ral_mem.sv.

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.

task 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 937 of file vmm_ral_mem.sv.

task 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 919 of file vmm_ral_mem.sv.

void vmm_ral_mem::prepend_callback ( vmm_ral_mem_callbacks  cb  ) 

Definition at line 995 of file vmm_ral_mem.sv.

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

Definition at line 364 of file vmm_ral_mem.sv.

task 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 543 of file vmm_ral_mem.sv.

task vmm_ral_mem::readmemh ( string  filename  )  [virtual]

Definition at line 955 of file vmm_ral_mem.sv.

void vmm_ral_mem::set_backdoor ( vmm_ral_mem_backdoor  bkdr  ) 

Definition at line 985 of file vmm_ral_mem.sv.

bit vmm_ral_mem::set_cover ( bit  is_on  )  [virtual]

Definition at line 383 of file vmm_ral_mem.sv.

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

Definition at line 963 of file vmm_ral_mem.sv.

void vmm_ral_mem::unregister_callback ( vmm_ral_mem_callbacks  cb  ) 

Definition at line 1021 of file vmm_ral_mem.sv.

bit vmm_ral_mem::validate_burst ( vmm_ral_mem_burst  burst  )  [private]

Definition at line 634 of file vmm_ral_mem.sv.

task 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 450 of file vmm_ral_mem.sv.

task vmm_ral_mem::writememh ( string  filename  )  [virtual]

Definition at line 959 of file vmm_ral_mem.sv.

vmm_ral_access vmm_ral_mem::Xget_ral_accessX (  ) 
void vmm_ral_mem::Xlock_modelX (  ) 

Definition at line 78 of file vmm_ral_mem.sv.

void vmm_ral_mem::Xregister_ral_accessX ( vmm_ral_access  access  ) 

Definition at line 131 of file vmm_ral_mem.sv.


Member Data Documentation

Definition at line 122 of file vmm_ral_mem.svh.

Definition at line 136 of file vmm_ral_mem.svh.

Definition at line 138 of file vmm_ral_mem.svh.

Definition at line 132 of file vmm_ral_mem.svh.

bit vmm_ral_mem::cover_on [private]

Definition at line 141 of file vmm_ral_mem.svh.

string vmm_ral_mem::domains[] [private]

Definition at line 128 of file vmm_ral_mem.svh.

Definition at line 135 of file vmm_ral_mem.svh.

bit vmm_ral_mem::locked [private]

Definition at line 120 of file vmm_ral_mem.svh.

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

Definition at line 113 of file vmm_ral_mem.svh.

Definition at line 115 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::name [private]

Definition at line 119 of file vmm_ral_mem.svh.

bit vmm_ral_mem::no_cover [private]

Definition at line 140 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.

Definition at line 125 of file vmm_ral_mem.svh.

Definition at line 134 of file vmm_ral_mem.svh.

Definition at line 129 of file vmm_ral_mem.svh.

longint unsigned vmm_ral_mem::size [private]

Definition at line 123 of file vmm_ral_mem.svh.

Definition at line 143 of file vmm_ral_mem.svh.


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

Intelligent Design Verification
Intelligent Design Verification
Project: VMM, Revision: 1.0.0
Copyright (c) 2008-2010 Intelligent Design Verification.
Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.
A copy of the license is included here:
http://www.intelligentdv.com/licenses/fdl.txt
doxygen
Doxygen Version: 1.6.3
IDV SV Filter Version: 2.6.3
Sat Jun 19 12:02:09 2010
Find a documentation bug? Report bugs to: bugs.intelligentdv.com Project: DoxygenFilterSV