
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 [*] |
Definition at line 69 of file vmm_ral_reg.sv.
| 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.
vmm_log vmm_ral_reg::log = new("RAL", "register") [static] |
Definition at line 70 of file vmm_ral_reg.sv.
vmm_ral_reg vmm_ral_reg::__vmm_all_regs[*] [static, private] |
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.
vmm_ral_block vmm_ral_reg::parent [private] |
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.
vmm_ral::access_e vmm_ral_reg::rights[] [private] |
Definition at line 83 of file vmm_ral_reg.sv.
vmm_ral_field vmm_ral_reg::fields[$] [private] |
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.
vmm_ral_access vmm_ral_reg::ral_access [private] |
Definition at line 89 of file vmm_ral_reg.sv.
vmm_ral_reg_frontdoor vmm_ral_reg::frontdoor[] [private] |
Definition at line 90 of file vmm_ral_reg.sv.
vmm_ral_reg_backdoor vmm_ral_reg::backdoor [private] |
Definition at line 91 of file vmm_ral_reg.sv.
vmm_ral_reg_callbacks vmm_ral_reg::callbacks[$] [private] |
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.
![]() 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 Version: 1.5.6 Sat Oct 18 11:32:33 2008 |