Struct Register 

pub struct Register {
    pub name: String,
    pub width: u32,
    pub init: Option<u64>,
    pub next: NextState,
}

A hardware register: a width, an optional initial value, and its next-state function.

Fields

name: String

width: u32

Bit width. 1 is a Boolean control bit; >1 is a bitvector datapath register.

init: Option<u64>

Initial (reset) value, masked to width; None means a FREE initial state (BMC explores all start values — the reset-as-free-input model).

next: NextState

Next-state function over the current (unindexed) state and free inputs.

Trait Implementations

impl Clone for Register

fn clone(&self) -> Register

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Register

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

Formats the value using the given formatter.