Struct RegisterFileState 

pub struct RegisterFileState {
    pub regs: Vec<u64>,
}

The concrete state of a CPU register file (for simulation).

Fields

regs: Vec<u64>

Register values indexed by register number.

Implementations

impl RegisterFileState

pub fn new(count: usize) -> Self

Create a zeroed register file with count registers.

pub fn read(&self, r: usize) -> Option<u64>

Read the value of register r.

pub fn write(&mut self, r: usize, value: u64)

Write value to register r.

pub fn verify_raw(&mut self, r: usize, v: u64) -> bool

Verify the read-after-write property for a register.

pub fn count(&self) -> usize

Number of registers.

pub fn describe(&self) -> String

Describe the register file state.