Struct WpeProfile 

pub struct WpeProfile {
    pub nreg: usize,
    pub maxblk: usize,
    pub maxcell: usize,
    pub maxwr: usize,
    pub maxarg: usize,
    pub maxliv: usize,
    pub maxk: usize,
    pub heap: usize,
    pub depth: usize,
    pub maxv: usize,
}

The engine’s cap profile — the ten numbers that size every memory in it.

Fields

nreg: usize

maxblk: usize

maxcell: usize

maxwr: usize

maxarg: usize

maxliv: usize

maxk: usize

heap: usize

depth: usize

maxv: usize

Implementations

impl WpeProfile

pub fn shortfalls(&self, d: &WpeDemands) -> Vec<(&'static str, usize, usize)>

Every dimension of d this profile does not cover, as (the engine parameter, the demand, the cap). Empty exactly when a program with those demands loads and runs without a refusal or a trap.

pub fn from_caps(c: [usize; 10]) -> Self

The [usize; 10] order emit_wprog_engine_soc_verilog_backend expects.

pub fn caps(&self) -> [usize; 10]

pub fn eval_depth(&self, expr: &str) -> Option<u32>

Evaluate an RTL array bound ([0:<expr>]) to a WORD COUNT — so MAXBLK-1 yields MAXBLK. Supports the forms the template actually uses: an identifier, a product of two, and a trailing -1. Returns None for anything it does not understand, so a new declaration shape fails the lock loudly rather than being silently skipped.

pub fn arrays(&self, config_bram: bool) -> Vec<WpeArray>

Every addressed array the engine declares, mirroring wpe_soc_template.v.

config_bram selects the streamed (MemBackend::ConfigBram) build, which is the one that would be taped out: it EXCISES file0 (the block-entry register snapshot) in favour of the read-before-write buffer. Charging a dead array against the die would inflate the estimate.

pub fn total_bits(&self, config_bram: bool) -> u64

Trait Implementations

impl Clone for WpeProfile

fn clone(&self) -> WpeProfile

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for WpeProfile

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

Formats the value using the given formatter.

impl PartialEq for WpeProfile

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for WpeProfile

impl Eq for WpeProfile

impl StructuralPartialEq for WpeProfile