
Public Member Functions | |
| new (vmm_ral_reg parent, string name, int unsigned size, vmm_ral::access_e access, bit< VMM_RAL_DATA_WIDTH-1:0 > reset, logic< VMM_RAL_DATA_WIDTH-1:0 > soft_reset, int unsigned lsb_pos, bit is_rand=0, bit cover_on=1) | |
| virtual string | get_name () |
| virtual string | get_fullname () |
| virtual vmm_ral_reg | get_register () |
| virtual int unsigned | get_lsb_pos_in_register () |
| virtual int unsigned | get_n_bits () |
| virtual vmm_ral::access_e | get_access (string domain=" ") |
| virtual vmm_ral::access_e | set_access (vmm_ral::access_e mode) |
| virtual void | display (string prefix=" ") |
| virtual string | psdisplay (string prefix=" ") |
| virtual bit | set_cover (bit is_on) |
| virtual bit | is_cover_on () |
| virtual bit < VMM_RAL_DATA_WIDTH-1:0 > | XpredictX (bit< VMM_RAL_DATA_WIDTH-1:0 > cur_val, bit< VMM_RAL_DATA_WIDTH-1:0 > wr_val, string domain) |
| 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) |
| virtual bit < VMM_RAL_DATA_WIDTH-1:0 > | XupdX () |
| 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 logic < VMM_RAL_DATA_WIDTH-1:0 > | set_reset (logic< VMM_RAL_DATA_WIDTH-1:0 > value, vmm_ral::reset_e kind=vmm_ral::HARD) |
| virtual bit | needs_update () |
| 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 | prepend_callback (vmm_ral_field_callbacks cb) |
| void | append_callback (vmm_ral_field_callbacks cb) |
| void | unregister_callback (vmm_ral_field_callbacks cb) |
| void | pre_randomize () |
| void | post_randomize () |
Public Attributes | |
| rand bit< VMM_RAL_DATA_WIDTH-1:0 > | value |
| vmm_ral_field_callbacks | XcbsX [$] |
| constraint | vmm_ral_field_valid |
Static Public Attributes | |
| static vmm_log | log = new("RAL", "field") |
Private Attributes | |
| string | name |
| vmm_ral::access_e | access |
| vmm_ral_reg | parent |
| int unsigned | lsb |
| int unsigned | size |
| bit< VMM_RAL_DATA_WIDTH-1:0 > | mirrored |
| bit< VMM_RAL_DATA_WIDTH-1:0 > | desired |
| bit< VMM_RAL_DATA_WIDTH-1:0 > | reset_value |
| logic< VMM_RAL_DATA_WIDTH-1:0 > | soft_reset_value |
| bit | written |
| bit | no_cover |
| bit | cover_on |
Definition at line 53 of file vmm_ral_field.sv.
| vmm_ral_field::new | ( | vmm_ral_reg | parent, | |
| string | name, | |||
| int unsigned | size, | |||
| vmm_ral::access_e | access, | |||
| bit< VMM_RAL_DATA_WIDTH-1:0 > | reset, | |||
| logic< VMM_RAL_DATA_WIDTH-1:0 > | soft_reset, | |||
| int unsigned | lsb_pos, | |||
| bit | is_rand = 0, |
|||
| bit | cover_on = 1 | |||
| ) |
Definition at line 164 of file vmm_ral_field.sv.
| string vmm_ral_field::get_name | ( | ) | [virtual] |
Definition at line 201 of file vmm_ral_field.sv.
| string vmm_ral_field::get_fullname | ( | ) | [virtual] |
Definition at line 206 of file vmm_ral_field.sv.
| vmm_ral_reg vmm_ral_field::get_register | ( | ) | [virtual] |
Definition at line 211 of file vmm_ral_field.sv.
| int unsigned vmm_ral_field::get_lsb_pos_in_register | ( | ) | [virtual] |
Definition at line 216 of file vmm_ral_field.sv.
| int unsigned vmm_ral_field::get_n_bits | ( | ) | [virtual] |
Definition at line 221 of file vmm_ral_field.sv.
| vmm_ral::access_e vmm_ral_field::get_access | ( | string | domain = " " |
) | [virtual] |
Definition at line 226 of file vmm_ral_field.sv.
| vmm_ral::access_e vmm_ral_field::set_access | ( | vmm_ral::access_e | mode | ) | [virtual] |
Definition at line 282 of file vmm_ral_field.sv.
| void vmm_ral_field::display | ( | string | prefix = " " |
) | [virtual] |
Definition at line 288 of file vmm_ral_field.sv.
| string vmm_ral_field::psdisplay | ( | string | prefix = " " |
) | [virtual] |
Definition at line 293 of file vmm_ral_field.sv.
| bit vmm_ral_field::set_cover | ( | bit | is_on | ) | [virtual] |
Definition at line 305 of file vmm_ral_field.sv.
| bit vmm_ral_field::is_cover_on | ( | ) | [virtual] |
Definition at line 317 of file vmm_ral_field.sv.
| bit< VMM_RAL_DATA_WIDTH-1:0 > vmm_ral_field::XpredictX | ( | bit< VMM_RAL_DATA_WIDTH-1:0 > | cur_val, | |
| bit< VMM_RAL_DATA_WIDTH-1:0 > | wr_val, | |||
| string | domain | |||
| ) | [virtual] |
Definition at line 322 of file vmm_ral_field.sv.
| void vmm_ral_field::XforceX | ( | bit< VMM_RAL_DATA_WIDTH-1:0 > | value, | |
| vmm_ral::path_e | path, | |||
| string | domain | |||
| ) | [virtual] |
Definition at line 349 of file vmm_ral_field.sv.
| void vmm_ral_field::XwroteX | ( | bit< VMM_RAL_DATA_WIDTH-1:0 > | value, | |
| vmm_ral::path_e | path, | |||
| string | domain | |||
| ) | [virtual] |
Definition at line 371 of file vmm_ral_field.sv.
| bit< VMM_RAL_DATA_WIDTH-1:0 > vmm_ral_field::XupdX | ( | ) | [virtual] |
Definition at line 392 of file vmm_ral_field.sv.
| void vmm_ral_field::set | ( | bit< VMM_RAL_DATA_WIDTH-1:0 > | value | ) | [virtual] |
Definition at line 417 of file vmm_ral_field.sv.
| bit vmm_ral_field::predict | ( | bit< VMM_RAL_DATA_WIDTH-1:0 > | value | ) | [virtual] |
Definition at line 445 of file vmm_ral_field.sv.
| bit< VMM_RAL_DATA_WIDTH-1:0 > vmm_ral_field::get | ( | ) | [virtual] |
Definition at line 462 of file vmm_ral_field.sv.
| void vmm_ral_field::reset | ( | vmm_ral::reset_e | kind = vmm_ral::HARD |
) | [virtual] |
Definition at line 467 of file vmm_ral_field.sv.
| logic< VMM_RAL_DATA_WIDTH-1:0 > vmm_ral_field::set_reset | ( | logic< VMM_RAL_DATA_WIDTH-1:0 > | value, | |
| vmm_ral::reset_e | kind = vmm_ral::HARD | |||
| ) | [virtual] |
Definition at line 486 of file vmm_ral_field.sv.
| bit vmm_ral_field::needs_update | ( | ) | [virtual] |
Definition at line 501 of file vmm_ral_field.sv.
| void vmm_ral_field::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 506 of file vmm_ral_field.sv.
| void vmm_ral_field::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 572 of file vmm_ral_field.sv.
| void vmm_ral_field::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 586 of file vmm_ral_field.sv.
| void vmm_ral_field::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 617 of file vmm_ral_field.sv.
| virtual void vmm_ral_field::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] |
| void vmm_ral_field::prepend_callback | ( | vmm_ral_field_callbacks | cb | ) |
Definition at line 637 of file vmm_ral_field.sv.
| void vmm_ral_field::append_callback | ( | vmm_ral_field_callbacks | cb | ) |
Definition at line 650 of file vmm_ral_field.sv.
| void vmm_ral_field::unregister_callback | ( | vmm_ral_field_callbacks | cb | ) |
Definition at line 663 of file vmm_ral_field.sv.
| void vmm_ral_field::pre_randomize | ( | ) |
Definition at line 677 of file vmm_ral_field.sv.
| void vmm_ral_field::post_randomize | ( | ) |
Definition at line 685 of file vmm_ral_field.sv.
vmm_log vmm_ral_field::log = new("RAL", "field") [static] |
Definition at line 54 of file vmm_ral_field.sv.
string vmm_ral_field::name [private] |
Definition at line 56 of file vmm_ral_field.sv.
vmm_ral::access_e vmm_ral_field::access [private] |
Definition at line 57 of file vmm_ral_field.sv.
vmm_ral_reg vmm_ral_field::parent [private] |
Definition at line 58 of file vmm_ral_field.sv.
int unsigned vmm_ral_field::lsb [private] |
Definition at line 59 of file vmm_ral_field.sv.
int unsigned vmm_ral_field::size [private] |
Definition at line 60 of file vmm_ral_field.sv.
bit<VMM_RAL_DATA_WIDTH-1:0> vmm_ral_field::mirrored [private] |
Definition at line 61 of file vmm_ral_field.sv.
bit<VMM_RAL_DATA_WIDTH-1:0> vmm_ral_field::desired [private] |
Definition at line 62 of file vmm_ral_field.sv.
| rand bit<VMM_RAL_DATA_WIDTH-1:0> vmm_ral_field::value |
Definition at line 63 of file vmm_ral_field.sv.
bit<VMM_RAL_DATA_WIDTH-1:0> vmm_ral_field::reset_value [private] |
Definition at line 64 of file vmm_ral_field.sv.
logic<VMM_RAL_DATA_WIDTH-1:0> vmm_ral_field::soft_reset_value [private] |
Definition at line 65 of file vmm_ral_field.sv.
bit vmm_ral_field::written [private] |
Definition at line 66 of file vmm_ral_field.sv.
Definition at line 68 of file vmm_ral_field.sv.
bit vmm_ral_field::no_cover [private] |
Definition at line 70 of file vmm_ral_field.sv.
bit vmm_ral_field::cover_on [private] |
Definition at line 71 of file vmm_ral_field.sv.
| constraint vmm_ral_field::vmm_ral_field_valid |
Definition at line 73 of file vmm_ral_field.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:31 2008 |