Enum FourStateValue 

pub enum FourStateValue {
    Narrow(u128),
    Wide {
        aval: Vec<u64>,
        bval: Vec<u64>,
    },
}

STATE’s cross-subsystem four-state value representation (state.md §3/§5, ledger ST-008, ST-009, ST-099, ST-120): Narrow mirrors the accessor ABI’s FIXED inline u128 word (ARCHITECTURE §6.2 / ST-008: val in the low 64 bits, unk/xzmask in the high 64 bits, regardless of bit_width — sv_sim_abi::bit4-compatible; not sv-sim-codegen::value’s internal, width-tight i(2N) LLVM packing, which uses a different bit offset for any width < 64 — see sv_sim_abi::accessor’s doc comment); Wide mirrors the aval/bval word planes (sv_sim_abi::WideView-compatible). Reference/introspection shape only (VPI/$display/debugger/harness) — never the codegen-emitted hot path, which calls the accessor ABI directly.

Variants

Narrow(u128)

Wide

Fields

aval: Vec<u64>

bval: Vec<u64>

Implementations

impl FourStateValue

pub fn planes(&self) -> (Vec<u64>, Vec<u64>)

The value as (aval, bval) plane words (aval = val ^ unk, bval = unk); a narrow value is one word.

Trait Implementations

impl Clone for FourStateValue

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for FourStateValue

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq for FourStateValue

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for FourStateValue