
Public Types | |
| enum | kind_e { EITHER, INPUT, EXPECT } |
| enum | notifications_e { INSERTED = 999_000, EMPTY, MATCHED, MISMATCHED, DROPPED, NOT_FOUND, ORPHANED } |
| enum | ordering_e { IN_ORDER, WITH_LOSSES, OUT_ORDER } |
Public Member Functions | |
| new (string name) | |
| virtual int | stream_id (vmm_data pkt, vmm_sb_ds::kind_e kind=EITHER) |
| void | define_stream (int stream_id, string descr=" ", vmm_sb_ds::kind_e kind=EITHER) |
| virtual bit | insert (vmm_data pkt, vmm_sb_ds::kind_e kind=INPUT, int exp_stream_id=-1, int inp_stream_id=-1) |
| virtual bit | remove (vmm_data pkt, vmm_sb_ds::kind_e kind=INPUT, int exp_stream_id=-1, int inp_stream_id=-1) |
| virtual bit | transform (input vmm_data in_pkt, output vmm_data out_pkts[]) |
| virtual bit | match (vmm_data actual, vmm_data expected) |
| virtual bit | quick_compare (vmm_data actual, vmm_data expected) |
| virtual bit | compare (vmm_data actual, vmm_data expected) |
| virtual vmm_data | expect_in_order (vmm_data pkt, int exp_stream_id=-1, int inp_stream_id=-1, bit silent=0) |
| virtual bit | expect_with_losses (input vmm_data pkt, output vmm_data matched, output vmm_data lost[], input int exp_stream_id=-1, input int inp_stream_id=-1, input bit silent=0) |
| virtual vmm_data | expect_out_of_order (vmm_data pkt, int exp_stream_id=-1, int inp_stream_id=-1, bit silent=0) |
| virtual void | flush () |
| vmm_sb_ds_iter | new_sb_iter (int exp_stream_id=-1, int inp_stream_id=-1) |
| vmm_sb_ds_stream_iter | new_stream_iter (int exp_stream_id=-1, int inp_stream_id=-1) |
| void | prepend_callback (vmm_sb_ds_callbacks cb) |
| void | append_callback (vmm_sb_ds_callbacks cb) |
| void | unregister_callback (vmm_sb_ds_callbacks cb) |
| int | get_n_inserted (int exp_stream_id=-1, int inp_stream_id=-1) |
| int | get_n_pending (int exp_stream_id=-1, int inp_stream_id=-1) |
| int | get_n_matched (int exp_stream_id=-1, int inp_stream_id=-1) |
| int | get_n_mismatched (int exp_stream_id=-1, int inp_stream_id=-1) |
| int | get_n_dropped (int exp_stream_id=-1, int inp_stream_id=-1) |
| int | get_n_not_found (int exp_stream_id=-1, int inp_stream_id=-1) |
| int | get_n_orphaned (int exp_stream_id=-1, int inp_stream_id=-1) |
| virtual void | report (int exp_stream_id=-1, int inp_stream_id=-1) |
| virtual void | describe () |
| virtual void | display (string prefix=" ") |
Public Attributes | |
| vmm_sb_ds_exp_streams | Xexp_streamsX [*] |
| string | Xinp_stream_descsX [*] |
| string | Xexp_stream_descsX [*] |
| bit | Xdefine_stream_calledX = 0 |
| bit | Xparallel_streamsX = 0 |
| vmm_log | log |
| vmm_notify | notify |
Private Attributes | |
| int | n_not_found = 0 |
| bit | orphaned = 0 |
| int | n_orphaned = 0 |
| bit | insert_recursed = 0 |
| vmm_sb_ds_callbacks | callbacks [$] |
Definition at line 60 of file vmm_sb_ds.sv.
| enum vmm_sb_ds::kind_e |
Definition at line 80 of file vmm_sb_ds.sv.
| vmm_sb_ds::new | ( | string | name | ) |
Definition at line 312 of file vmm_sb_ds.sv.
| int vmm_sb_ds::stream_id | ( | vmm_data | pkt, | |
| vmm_sb_ds::kind_e | kind = EITHER | |||
| ) | [virtual] |
Definition at line 328 of file vmm_sb_ds.sv.
| void vmm_sb_ds::define_stream | ( | int | stream_id, | |
| string | descr = " ", |
|||
| vmm_sb_ds::kind_e | kind = EITHER | |||
| ) |
Definition at line 334 of file vmm_sb_ds.sv.
| bit vmm_sb_ds::insert | ( | vmm_data | pkt, | |
| vmm_sb_ds::kind_e | kind = INPUT, |
|||
| int | exp_stream_id = -1, |
|||
| int | inp_stream_id = -1 | |||
| ) | [virtual] |
Definition at line 378 of file vmm_sb_ds.sv.
| bit vmm_sb_ds::remove | ( | vmm_data | pkt, | |
| vmm_sb_ds::kind_e | kind = INPUT, |
|||
| int | exp_stream_id = -1, |
|||
| int | inp_stream_id = -1 | |||
| ) | [virtual] |
Definition at line 477 of file vmm_sb_ds.sv.
Definition at line 565 of file vmm_sb_ds.sv.
Definition at line 574 of file vmm_sb_ds.sv.
Definition at line 580 of file vmm_sb_ds.sv.
Definition at line 586 of file vmm_sb_ds.sv.
| vmm_data vmm_sb_ds::expect_in_order | ( | vmm_data | pkt, | |
| int | exp_stream_id = -1, |
|||
| int | inp_stream_id = -1, |
|||
| bit | silent = 0 | |||
| ) | [virtual] |
Definition at line 597 of file vmm_sb_ds.sv.
| bit vmm_sb_ds::expect_with_losses | ( | input vmm_data | pkt, | |
| output vmm_data | matched, | |||
| output vmm_data | lost[], | |||
| input int | exp_stream_id = -1, |
|||
| input int | inp_stream_id = -1, |
|||
| input bit | silent = 0 | |||
| ) | [virtual] |
Definition at line 712 of file vmm_sb_ds.sv.
| vmm_data vmm_sb_ds::expect_out_of_order | ( | vmm_data | pkt, | |
| int | exp_stream_id = -1, |
|||
| int | inp_stream_id = -1, |
|||
| bit | silent = 0 | |||
| ) | [virtual] |
Definition at line 880 of file vmm_sb_ds.sv.
| void vmm_sb_ds::flush | ( | ) | [virtual] |
Definition at line 989 of file vmm_sb_ds.sv.
| vmm_sb_ds_iter vmm_sb_ds::new_sb_iter | ( | int | exp_stream_id = -1, |
|
| int | inp_stream_id = -1 | |||
| ) |
Definition at line 1004 of file vmm_sb_ds.sv.
| vmm_sb_ds_stream_iter vmm_sb_ds::new_stream_iter | ( | int | exp_stream_id = -1, |
|
| int | inp_stream_id = -1 | |||
| ) |
Definition at line 1012 of file vmm_sb_ds.sv.
| void vmm_sb_ds::prepend_callback | ( | vmm_sb_ds_callbacks | cb | ) |
Definition at line 1020 of file vmm_sb_ds.sv.
| void vmm_sb_ds::append_callback | ( | vmm_sb_ds_callbacks | cb | ) |
Definition at line 1037 of file vmm_sb_ds.sv.
| void vmm_sb_ds::unregister_callback | ( | vmm_sb_ds_callbacks | cb | ) |
Definition at line 1054 of file vmm_sb_ds.sv.
| int vmm_sb_ds::get_n_inserted | ( | int | exp_stream_id = -1, |
|
| int | inp_stream_id = -1 | |||
| ) |
Definition at line 1067 of file vmm_sb_ds.sv.
| int vmm_sb_ds::get_n_pending | ( | int | exp_stream_id = -1, |
|
| int | inp_stream_id = -1 | |||
| ) |
Definition at line 1083 of file vmm_sb_ds.sv.
| int vmm_sb_ds::get_n_matched | ( | int | exp_stream_id = -1, |
|
| int | inp_stream_id = -1 | |||
| ) |
Definition at line 1097 of file vmm_sb_ds.sv.
| int vmm_sb_ds::get_n_mismatched | ( | int | exp_stream_id = -1, |
|
| int | inp_stream_id = -1 | |||
| ) |
Definition at line 1111 of file vmm_sb_ds.sv.
| int vmm_sb_ds::get_n_dropped | ( | int | exp_stream_id = -1, |
|
| int | inp_stream_id = -1 | |||
| ) |
Definition at line 1125 of file vmm_sb_ds.sv.
| int vmm_sb_ds::get_n_not_found | ( | int | exp_stream_id = -1, |
|
| int | inp_stream_id = -1 | |||
| ) |
Definition at line 1139 of file vmm_sb_ds.sv.
| int vmm_sb_ds::get_n_orphaned | ( | int | exp_stream_id = -1, |
|
| int | inp_stream_id = -1 | |||
| ) |
Definition at line 1157 of file vmm_sb_ds.sv.
| void vmm_sb_ds::report | ( | int | exp_stream_id = -1, |
|
| int | inp_stream_id = -1 | |||
| ) | [virtual] |
Definition at line 1191 of file vmm_sb_ds.sv.
| void vmm_sb_ds::describe | ( | ) | [virtual] |
Definition at line 1225 of file vmm_sb_ds.sv.
| void vmm_sb_ds::display | ( | string | prefix = " " |
) | [virtual] |
Definition at line 1237 of file vmm_sb_ds.sv.
Definition at line 62 of file vmm_sb_ds.sv.
| string vmm_sb_ds::Xinp_stream_descsX[*] |
Definition at line 63 of file vmm_sb_ds.sv.
| string vmm_sb_ds::Xexp_stream_descsX[*] |
Definition at line 64 of file vmm_sb_ds.sv.
Definition at line 65 of file vmm_sb_ds.sv.
| bit vmm_sb_ds::Xparallel_streamsX = 0 |
Definition at line 66 of file vmm_sb_ds.sv.
int vmm_sb_ds::n_not_found = 0 [private] |
Definition at line 68 of file vmm_sb_ds.sv.
bit vmm_sb_ds::orphaned = 0 [private] |
Definition at line 69 of file vmm_sb_ds.sv.
int vmm_sb_ds::n_orphaned = 0 [private] |
Definition at line 70 of file vmm_sb_ds.sv.
bit vmm_sb_ds::insert_recursed = 0 [private] |
Definition at line 71 of file vmm_sb_ds.sv.
vmm_sb_ds_callbacks vmm_sb_ds::callbacks[$] [private] |
Definition at line 73 of file vmm_sb_ds.sv.
Definition at line 75 of file vmm_sb_ds.sv.
Definition at line 76 of file vmm_sb_ds.sv.
![]() Intelligent Design Verification Project: VMM, Revision: 1.0.0 |
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:38:41 2008 |