Enum MemBackend 

pub enum MemBackend {
    Registers,
    Bram,
    ConfigBram,
}

The MEMORY BACKEND for the config-driven engine’s on-chip memories — a first-class, selectable choice of substrate. The whole-program engine holds two kinds of memory: the STATE PLANE (the shared heap + the recursion sfile frame stack) and the CONFIG memories (the UART-streamed program image: blk_*, cell_*, live-ins, writes, constants). Each can live in LUT flip-flops or in block RAM.

Variants

Registers

Everything in LUT flip-flops: combinational reads, smallest latency, but the capacity is bounded by the FF budget (the WPE_SYNTH_* profile). The open-flow-safe default for tiny programs.

Bram

The STATE PLANE (heap + sfile) in BLOCK RAM (registered reads, 1-cycle latency absorbed by the FSM’s wait-states); config stays in flip-flops. Moves the FF-heavy state off flip-flops so a bigger program both HOLDS and ROUTES on the open flow — the DEPLOYED silicon backend (wpe_soc_big.bit, proven Board B).

ConfigBram

State plane AND the config image in BLOCK RAM — the large-capacity backend that lets the whole 158-block transformer fit one chip’s BRAM. Requires registered CONFIG reads (block/cell fetch wait-states) — the interpret-FSM extension that is the remaining build; the BRAM budget already fits (4 Mb of 4.9 Mb).

Trait Implementations

impl Clone for MemBackend

fn clone(&self) -> MemBackend

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MemBackend

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

Formats the value using the given formatter.

impl PartialEq for MemBackend

fn eq(&self, other: &MemBackend) -> 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 MemBackend

impl Eq for MemBackend

impl StructuralPartialEq for MemBackend