
Public Attributes | |
| int unsigned | len |
| rand bit< 63:0 > | start_offset |
| bit< 63:0 > | min_offset |
| bit< 63:0 > | max_offset |
| vmm_mam_region | in_use [$] |
| constraint | vmam_mam_allocator_valid |
| constraint | vmam_mam_allocator_no_overlap |
Definition at line 115 of file vmm_mam.sv.
| int unsigned vmm_mam_allocator::len |
Definition at line 116 of file vmm_mam.sv.
| rand bit<63:0> vmm_mam_allocator::start_offset |
Definition at line 118 of file vmm_mam.sv.
| bit<63:0> vmm_mam_allocator::min_offset |
Definition at line 120 of file vmm_mam.sv.
| bit<63:0> vmm_mam_allocator::max_offset |
Definition at line 121 of file vmm_mam.sv.
Definition at line 123 of file vmm_mam.sv.
| constraint vmm_mam_allocator::vmam_mam_allocator_valid |
Definition at line 125 of file vmm_mam.sv.
Definition at line 130 of file vmm_mam.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:24 2008 |