Struct DramDataflow 

pub struct DramDataflow { /* private fields */ }

A straight-line in-DRAM dataflow graph: a growable row heap (operands then scratch) and the prim sequence computed over it. not/and/or/copy append a node writing a FRESH scratch row and return its index; higher-level gates compose those. This is the compiler-side spatial graph the DRAM plane executes.

Implementations

impl DramDataflow

pub fn new(inputs: usize) -> Self

A dataflow over inputs operand rows (indices 0..inputs); scratch rows are appended above.

pub fn rows(&self) -> usize

Total rows (operands + scratch) the graph touches.

pub fn node_count(&self) -> usize

The number of in-DRAM primitive steps (dataflow nodes) — the cost of the kernel.

pub fn program(&self) -> &[Prim]

The emitted prim sequence (the spatial dataflow, in execution order).

pub fn copy(&mut self, a: usize) -> usize

pub fn not(&mut self, a: usize) -> usize

pub fn and(&mut self, a: usize, b: usize) -> usize

pub fn or(&mut self, a: usize, b: usize) -> usize

pub fn xor(&mut self, a: usize, b: usize) -> usize

XOR = (a OR b) AND NOT(a AND b).

pub fn nand(&mut self, a: usize, b: usize) -> usize

pub fn nor(&mut self, a: usize, b: usize) -> usize

pub fn xnor(&mut self, a: usize, b: usize) -> usize

pub fn difference(&mut self, a: usize, b: usize) -> usize

Set difference a \ b = a AND NOT b.

pub fn majority(&mut self, a: usize, b: usize, c: usize) -> usize

Bitwise majority MAJ(a,b,c) = (a AND b) OR (a AND c) OR (b AND c) — the full-adder carry.

pub fn boolean_fn(&mut self, a: usize, b: usize, truth: u8) -> usize

Realize an ARBITRARY 2-input boolean function from its 4-bit truth table (bit 2·a+b = f(a,b)) as an OR of minterms over {AND, OR, NOT} — a constructive functional-completeness witness. An empty table yields constant 0 (a AND NOT a).

pub fn run(&self, inputs: &[Row], width: usize) -> Vec<Row>

Execute the dataflow in-DRAM (Ambit tier): inputs fill rows 0..inputs.len(), scratch rows are zero-initialized, and each node runs through exec_dram_ambit. Returns the final heap.

Trait Implementations

impl Clone for DramDataflow

fn clone(&self) -> DramDataflow

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DramDataflow

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

Formats the value using the given formatter.

impl Default for DramDataflow

fn default() -> DramDataflow

Returns the “default value” for a type.