
Public Types | |
| enum | notifications_e { GEN_CFG = 1, BUILD, RESET_DUT, CFG_DUT, START, RESTART, WAIT_FOR_END, STOP, CLEANUP, REPORT, RESTARTED } |
Public Member Functions | |
| new (string name="Verif Env") | |
| void | run () |
| void | pre_test () |
| virtual void | gen_cfg () |
| virtual void | build () |
| virtual void | reset_dut () |
| virtual void | cfg_dut () |
| virtual void | start () |
| virtual void | wait_for_end () |
| virtual void | stop () |
| virtual void | cleanup () |
| virtual void | restart (bit reconfig=0) |
| virtual void | report () |
Public Attributes | |
| vmm_log | log |
| vmm_notify | notify |
| event | end_test |
| vmm_consensus | end_vote |
Protected Member Functions | |
| virtual void | save_rng_state () |
| virtual void | restore_rng_state () |
Private Attributes | |
| int | step |
| bit | reset_rng_state |
| string | thread_rng_state_after_new |
| string | thread_rng_state_after_pre_test |
| string | thread_rng_state_before_start |
| bit | soft_restart |
| bit | soft_restartable |
Definition at line 1545 of file std_lib/vmm.sv.
| GEN_CFG | |
| BUILD | |
| RESET_DUT | |
| CFG_DUT | |
| START | |
| RESTART | |
| WAIT_FOR_END | |
| STOP | |
| CLEANUP | |
| REPORT | |
| RESTARTED |
Definition at line 1553 of file std_lib/vmm.sv.
| vmm_env::new | ( | string | name = "Verif Env" |
) |
Definition at line 23 of file vmm_env.sv.
| void vmm_env::run | ( | ) |
Definition at line 62 of file vmm_env.sv.
| void vmm_env::pre_test | ( | ) |
Definition at line 72 of file vmm_env.sv.
| void vmm_env::gen_cfg | ( | ) | [virtual] |
Definition at line 104 of file vmm_env.sv.
| void vmm_env::build | ( | ) | [virtual] |
Definition at line 118 of file vmm_env.sv.
| void vmm_env::reset_dut | ( | ) | [virtual] |
Definition at line 137 of file vmm_env.sv.
| void vmm_env::cfg_dut | ( | ) | [virtual] |
Definition at line 156 of file vmm_env.sv.
| void vmm_env::start | ( | ) | [virtual] |
Definition at line 175 of file vmm_env.sv.
| void vmm_env::wait_for_end | ( | ) | [virtual] |
Definition at line 196 of file vmm_env.sv.
| void vmm_env::stop | ( | ) | [virtual] |
Definition at line 211 of file vmm_env.sv.
| void vmm_env::cleanup | ( | ) | [virtual] |
Definition at line 226 of file vmm_env.sv.
| void vmm_env::restart | ( | bit | reconfig = 0 |
) | [virtual] |
Definition at line 241 of file vmm_env.sv.
| void vmm_env::report | ( | ) | [virtual] |
Definition at line 282 of file vmm_env.sv.
| void vmm_env::save_rng_state | ( | ) | [protected, virtual] |
Definition at line 288 of file vmm_env.sv.
| void vmm_env::restore_rng_state | ( | ) | [protected, virtual] |
Definition at line 297 of file vmm_env.sv.
Definition at line 1550 of file std_lib/vmm.sv.
Definition at line 1551 of file std_lib/vmm.sv.
| event vmm_env::end_test |
Definition at line 1565 of file std_lib/vmm.sv.
Definition at line 1566 of file std_lib/vmm.sv.
int vmm_env::step [private] |
Definition at line 1568 of file std_lib/vmm.sv.
bit vmm_env::reset_rng_state [private] |
Definition at line 1570 of file std_lib/vmm.sv.
string vmm_env::thread_rng_state_after_new [private] |
Definition at line 1571 of file std_lib/vmm.sv.
string vmm_env::thread_rng_state_after_pre_test [private] |
Definition at line 1572 of file std_lib/vmm.sv.
string vmm_env::thread_rng_state_before_start [private] |
Definition at line 1573 of file std_lib/vmm.sv.
bit vmm_env::soft_restart [private] |
Definition at line 1575 of file std_lib/vmm.sv.
bit vmm_env::soft_restartable [private] |
Definition at line 1576 of file std_lib/vmm.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:21 2008 |