vmm_data
CodeArtifact`vmm_data` is a VMM code artifact associated with standard data-object methods. In the provided constrained-random verification example, an `Instruction` class implements standard `vmm_data` methods, including display and packing behavior used as part of a transaction-class implementation.
First seen 5/28/2026
Last seen 6/1/2026
Evidence 2 chunks
Wiki v1
WIKI
Overview
vmm_data is referenced as the source of standard methods implemented by an Instruction transaction class in a constrained-random verification example for microprocessors. The cited example describes class methods as one of the components of a transaction class, alongside properties and constraints.
Use in an Instruction transaction class
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →RELATIONSHIPS
2 connectionsvmm_data is a standard base class that is part of the VMM methodology.
The instruction class implements standard vmm_data methods, extending the VMM base class.
CITATIONS
3 sources3 citations — click to collapse
[1] The Instruction class is described as implementing standard vmm_data methods. Applying constrained-random verification to microprocessors
[2] The transaction-class method examples include display and byte-packing methods such as opcode::psdisplay() and opcode::byte_pack(). Applying constrained-random verification to microprocessors
[3] The constrained-random verification example uses transaction-class constraints to encode processor rules, including slot restrictions for load/store and ERET operations, ERET/NOP pairing, and disallowing writes to the same scalar register in both operations of the same instruction. Applying constrained-random verification to microprocessors