vmm_ral_reg Class Reference

Collaboration diagram for vmm_ral_reg:

Collaboration graph
[legend]

List of all members.

Public Member Functions

 new (vmm_ral_block parent, string name, int unsigned n_bits, bit< VMM_RAL_ADDR_WIDTH-1:0 > offset, string domain=" ", int cover_on=vmm_ral::NO_COVERAGE, bit< 1:0 > rights=0b11, bit unmapped=0)
void Xlock_modelX ()
void add_domain (bit< VMM_RAL_ADDR_WIDTH-1:0 > offset, string domain, bit< 1:0 > rights, bit unmapped=0)
void register_field (vmm_ral_field field)
void Xregister_ral_accessX (vmm_ral_access access)
void Xadd_constraintsX (string name)
void XatomicX (bit on)
void XwriteX (output vmm_rw::status_e status, input bit< VMM_RAL_DATA_WIDTH-1:0 > value, input vmm_ral::path_e path, input string domain, input int data_id, input int scenario_id, input int stream_id)
void XreadX (output vmm_rw::status_e status, output bit< VMM_RAL_DATA_WIDTH-1:0 > value, input vmm_ral::path_e path, input string domain, input int data_id, input int scenario_id, input int stream_id)
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_rights (string domain=" ")
virtual vmm_ral_block get_block ()
virtual bit
< VMM_RAL_ADDR_WIDTH-1:0 > 
get_offset_in_block (string domain=" ")
virtual bit
< VMM_RAL_ADDR_WIDTH-1:0 > 
get_address_in_system (string domain=" ")
virtual int unsigned get_n_bytes ()
virtual void get_constraints (ref string names[])
virtual void display (string prefix=" ", string domain=" ")
virtual string psdisplay (string prefix=" ", string domain=" ")
virtual void get_fields (ref vmm_ral_field fields[])
virtual vmm_ral_field get_field_by_name (string name)
virtual bit can_cover (int models)
virtual int set_cover (int is_on)
virtual bit is_cover_on (int is_on)
virtual void set (bit< VMM_RAL_DATA_WIDTH-1:0 > value)
virtual bit predict (bit< VMM_RAL_DATA_WIDTH-1:0 > value)
virtual bit
< VMM_RAL_DATA_WIDTH-1:0 > 
get ()
virtual void reset (vmm_ral::reset_e kind=vmm_ral::HARD)
virtual bit needs_update ()
virtual void update (output vmm_rw::status_e status, input vmm_ral::path_e path=vmm_ral::DEFAULT, input string domain=" ")
virtual void write (output vmm_rw::status_e status, 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, 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_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, 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 mirror (output vmm_rw::status_e status, input vmm_ral::check_e check=vmm_ral::QUIET, input vmm_ral::path_e path=vmm_ral::DEFAULT, input string domain=" ")
void set_frontdoor (vmm_ral_reg_frontdoor ftdr, string domain=" ")
vmm_ral_reg_frontdoor get_frontdoor (string domain=" ")
void set_backdoor (vmm_ral_reg_backdoor bkdr)
vmm_ral_reg_backdoor get_backdoor ()
void prepend_callback (vmm_ral_reg_callbacks cb)
void append_callback (vmm_ral_reg_callbacks cb)
void unregister_callback (vmm_ral_reg_callbacks cb)
int unsigned get_reg_ID ()
vmm_ral_reg get_reg_by_ID (int unsigned id)

Public Attributes

bit Xis_busyX

Static Public Attributes

static vmm_log log = new("RAL", "register")
static int unsigned __vmm_reg_id_factory = 0

Private Member Functions

virtual void domain_coverage (string domain, bit rights, int idx)
virtual void XforceX (bit< VMM_RAL_DATA_WIDTH-1:0 > value, vmm_ral::path_e path, string domain)
virtual void XwroteX (bit< VMM_RAL_DATA_WIDTH-1:0 > value, vmm_ral::path_e path, string domain)
int get_domain_index (string domain)
virtual void sample (bit< VMM_RAL_DATA_WIDTH-1:0 > data, bit is_read, int domain)

Private Attributes

int unsigned __vmm_reg_id = 0
bit locked
vmm_ral_block parent
string name
int unsigned n_bits
int unsigned n_used_bits
logic< VMM_RAL_ADDR_WIDTH-1:0 > offset_in_block []
string domains []
vmm_ral::access_e rights []
vmm_ral_field fields [$]
string constr []
event value_change
vmm_ral_access ral_access
vmm_ral_reg_frontdoor frontdoor []
vmm_ral_reg_backdoor backdoor
vmm_ral_reg_callbacks callbacks [$]
int has_cover
int cover_on
semaphore atomic

Static Private Attributes

static vmm_ral_reg __vmm_all_regs [*]


Detailed Description

Definition at line 69 of file vmm_ral_reg.sv.


Member Function Documentation

vmm_ral_reg::new ( vmm_ral_block  parent,
string  name,
int unsigned  n_bits,
bit< VMM_RAL_ADDR_WIDTH-1:0 >  offset,
string  domain = " ",
int  cover_on = vmm_ral::NO_COVERAGE,
bit< 1:0 >  rights = 0b11,
bit  unmapped = 0 
)

Definition at line 229 of file vmm_ral_reg.sv.

void vmm_ral_reg::Xlock_modelX (  ) 

Definition at line 268 of file vmm_ral_reg.sv.

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

Definition at line 279 of file vmm_ral_reg.sv.

virtual void vmm_ral_reg::domain_coverage ( string  domain,
bit  rights,
int  idx 
) [private, virtual]

Definition at line 117 of file vmm_ral_reg.sv.

void vmm_ral_reg::register_field ( vmm_ral_field  field  ) 

Definition at line 328 of file vmm_ral_reg.sv.

void vmm_ral_reg::Xregister_ral_accessX ( vmm_ral_access  access  ) 

Definition at line 386 of file vmm_ral_reg.sv.

void vmm_ral_reg::Xadd_constraintsX ( string  name  ) 

Definition at line 395 of file vmm_ral_reg.sv.

void vmm_ral_reg::XatomicX ( bit  on  ) 

Definition at line 419 of file vmm_ral_reg.sv.

void vmm_ral_reg::XwriteX ( output vmm_rw::status_e  status,
input bit< VMM_RAL_DATA_WIDTH-1:0 >  value,
input vmm_ral::path_e  path,
input string  domain,
input int  data_id,
input int  scenario_id,
input int  stream_id 
)

Definition at line 734 of file vmm_ral_reg.sv.

void vmm_ral_reg::XreadX ( output vmm_rw::status_e  status,
output bit< VMM_RAL_DATA_WIDTH-1:0 >  value,
input vmm_ral::path_e  path,
input string  domain,
input int  data_id,
input int  scenario_id,
input int  stream_id 
)

Definition at line 912 of file vmm_ral_reg.sv.

string vmm_ral_reg::get_name (  )  [virtual]

Definition at line 429 of file vmm_ral_reg.sv.

string vmm_ral_reg::get_fullname (  )  [virtual]

Definition at line 434 of file vmm_ral_reg.sv.

int vmm_ral_reg::get_n_domains (  )  [virtual]

Definition at line 448 of file vmm_ral_reg.sv.

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

Definition at line 453 of file vmm_ral_reg.sv.

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

Definition at line 458 of file vmm_ral_reg.sv.

vmm_ral_block vmm_ral_reg::get_block (  )  [virtual]

Definition at line 473 of file vmm_ral_reg.sv.

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

Definition at line 478 of file vmm_ral_reg.sv.

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

Definition at line 495 of file vmm_ral_reg.sv.

int unsigned vmm_ral_reg::get_n_bytes (  )  [virtual]

Definition at line 525 of file vmm_ral_reg.sv.

void vmm_ral_reg::get_constraints ( ref string  names[]  )  [virtual]

Definition at line 579 of file vmm_ral_reg.sv.

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

Definition at line 530 of file vmm_ral_reg.sv.

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

Definition at line 536 of file vmm_ral_reg.sv.

void vmm_ral_reg::get_fields ( ref vmm_ral_field  fields[]  )  [virtual]

Definition at line 559 of file vmm_ral_reg.sv.

vmm_ral_field vmm_ral_reg::get_field_by_name ( string  name  )  [virtual]

Definition at line 567 of file vmm_ral_reg.sv.

bit vmm_ral_reg::can_cover ( int  models  )  [virtual]

Definition at line 584 of file vmm_ral_reg.sv.

int vmm_ral_reg::set_cover ( int  is_on  )  [virtual]

Definition at line 589 of file vmm_ral_reg.sv.

bit vmm_ral_reg::is_cover_on ( int  is_on  )  [virtual]

Definition at line 601 of file vmm_ral_reg.sv.

void vmm_ral_reg::XforceX ( bit< VMM_RAL_DATA_WIDTH-1:0 >  value,
vmm_ral::path_e  path,
string  domain 
) [private, virtual]

Definition at line 606 of file vmm_ral_reg.sv.

void vmm_ral_reg::XwroteX ( bit< VMM_RAL_DATA_WIDTH-1:0 >  value,
vmm_ral::path_e  path,
string  domain 
) [private, virtual]

Definition at line 617 of file vmm_ral_reg.sv.

void vmm_ral_reg::set ( bit< VMM_RAL_DATA_WIDTH-1:0 >  value  )  [virtual]

Definition at line 631 of file vmm_ral_reg.sv.

bit vmm_ral_reg::predict ( bit< VMM_RAL_DATA_WIDTH-1:0 >  value  )  [virtual]

Definition at line 644 of file vmm_ral_reg.sv.

bit< VMM_RAL_DATA_WIDTH-1:0 > vmm_ral_reg::get (  )  [virtual]

Definition at line 660 of file vmm_ral_reg.sv.

void vmm_ral_reg::reset ( vmm_ral::reset_e  kind = vmm_ral::HARD  )  [virtual]

Definition at line 675 of file vmm_ral_reg.sv.

bit vmm_ral_reg::needs_update (  )  [virtual]

Definition at line 686 of file vmm_ral_reg.sv.

void vmm_ral_reg::update ( output vmm_rw::status_e  status,
input vmm_ral::path_e  path = vmm_ral::DEFAULT,
input string  domain = " " 
) [virtual]

Definition at line 696 of file vmm_ral_reg.sv.

void vmm_ral_reg::write ( output vmm_rw::status_e  status,
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 721 of file vmm_ral_reg.sv.

void vmm_ral_reg::read ( output vmm_rw::status_e  status,
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 899 of file vmm_ral_reg.sv.

void vmm_ral_reg::poke ( output vmm_rw::status_e  status,
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 1068 of file vmm_ral_reg.sv.

void vmm_ral_reg::peek ( output vmm_rw::status_e  status,
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 1091 of file vmm_ral_reg.sv.

void vmm_ral_reg::mirror ( output vmm_rw::status_e  status,
input vmm_ral::check_e  check = vmm_ral::QUIET,
input vmm_ral::path_e  path = vmm_ral::DEFAULT,
input string  domain = " " 
) [virtual]

Definition at line 1113 of file vmm_ral_reg.sv.

void vmm_ral_reg::set_frontdoor ( vmm_ral_reg_frontdoor  ftdr,
string  domain = " " 
)

Definition at line 1175 of file vmm_ral_reg.sv.

vmm_ral_reg_frontdoor vmm_ral_reg::get_frontdoor ( string  domain = " "  ) 

Definition at line 1187 of file vmm_ral_reg.sv.

void vmm_ral_reg::set_backdoor ( vmm_ral_reg_backdoor  bkdr  ) 

Definition at line 1197 of file vmm_ral_reg.sv.

vmm_ral_reg_backdoor vmm_ral_reg::get_backdoor (  ) 

Definition at line 1202 of file vmm_ral_reg.sv.

void vmm_ral_reg::prepend_callback ( vmm_ral_reg_callbacks  cb  ) 

Definition at line 1207 of file vmm_ral_reg.sv.

void vmm_ral_reg::append_callback ( vmm_ral_reg_callbacks  cb  ) 

Definition at line 1220 of file vmm_ral_reg.sv.

void vmm_ral_reg::unregister_callback ( vmm_ral_reg_callbacks  cb  ) 

Definition at line 1233 of file vmm_ral_reg.sv.

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

Definition at line 1247 of file vmm_ral_reg.sv.

void vmm_ral_reg::sample ( bit< VMM_RAL_DATA_WIDTH-1:0 >  data,
bit  is_read,
int  domain 
) [private, virtual]

Definition at line 1279 of file vmm_ral_reg.sv.

int unsigned vmm_ral_reg::get_reg_ID (  ) 

Definition at line 1286 of file vmm_ral_reg.sv.

vmm_ral_reg vmm_ral_reg::get_reg_by_ID ( int unsigned  id  ) 

Definition at line 1290 of file vmm_ral_reg.sv.


Member Data Documentation

vmm_log vmm_ral_reg::log = new("RAL", "register") [static]

Definition at line 70 of file vmm_ral_reg.sv.

Definition at line 72 of file vmm_ral_reg.sv.

int unsigned vmm_ral_reg::__vmm_reg_id_factory = 0 [static]

Definition at line 73 of file vmm_ral_reg.sv.

int unsigned vmm_ral_reg::__vmm_reg_id = 0 [private]

Definition at line 74 of file vmm_ral_reg.sv.

bit vmm_ral_reg::locked [private]

Definition at line 75 of file vmm_ral_reg.sv.

Definition at line 76 of file vmm_ral_reg.sv.

string vmm_ral_reg::name [private]

Definition at line 77 of file vmm_ral_reg.sv.

int unsigned vmm_ral_reg::n_bits [private]

Definition at line 78 of file vmm_ral_reg.sv.

int unsigned vmm_ral_reg::n_used_bits [private]

Definition at line 79 of file vmm_ral_reg.sv.

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

Definition at line 81 of file vmm_ral_reg.sv.

string vmm_ral_reg::domains[] [private]

Definition at line 82 of file vmm_ral_reg.sv.

Definition at line 83 of file vmm_ral_reg.sv.

Definition at line 85 of file vmm_ral_reg.sv.

string vmm_ral_reg::constr[] [private]

Definition at line 86 of file vmm_ral_reg.sv.

event vmm_ral_reg::value_change [private]

Definition at line 87 of file vmm_ral_reg.sv.

Definition at line 89 of file vmm_ral_reg.sv.

Definition at line 90 of file vmm_ral_reg.sv.

Definition at line 91 of file vmm_ral_reg.sv.

Definition at line 93 of file vmm_ral_reg.sv.

int vmm_ral_reg::has_cover [private]

Definition at line 95 of file vmm_ral_reg.sv.

int vmm_ral_reg::cover_on [private]

Definition at line 96 of file vmm_ral_reg.sv.

semaphore vmm_ral_reg::atomic [private]

Definition at line 98 of file vmm_ral_reg.sv.

Definition at line 100 of file vmm_ral_reg.sv.


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

Intelligent Design Verification
Intelligent Design Verification
Project: VMM, Revision: 1.0.1
Copyright (c) 2008 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.5.6
Sat Oct 18 11:32:33 2008
Find a documentation bug? Report bugs to: bugs.intelligentdv.com Project: DoxygenFilterSV