Enum AnalogCell 

pub enum AnalogCell {
    Sum {
        inputs: Vec<ASrc>,
        weights: Vec<f64>,
    },
    Mul {
        a: ASrc,
        b: ASrc,
    },
    GainConst {
        a: ASrc,
        k: f64,
    },
    Select {
        c: ASrc,
        t: ASrc,
        f: ASrc,
    },
    Exp {
        a: ASrc,
    },
    Log {
        a: ASrc,
    },
    Tanh {
        a: ASrc,
    },
    Sqrt {
        a: ASrc,
    },
    Div {
        a: ASrc,
        b: ASrc,
    },
}

One analog tile. Ideal (math-domain) semantics are given per variant; physical parameters (gm, C, rails) attach at the target/gain layers, not here.

Variants

Sum

Kirchhoff current-summing node with programmed input-conductance weights: v = Σ wᵢ·xᵢ. Signed weights are free (differential wiring).

Fields

inputs: Vec<ASrc>

weights: Vec<f64>

Mul

Four-quadrant transconductance multiplier for variable×variable: v = a·b.

Fields

a: ASrc

b: ASrc

GainConst

Programmed-conductance constant gain: v = k·a.

Fields

a: ASrc

k: f64

Select

Comparator-driven analog switch: v = if c < 0 { t } else { f } (the O5 tile). The condition is a DIFFERENCE net (the lowering emits c = ca − cb as a Sum); strict vs inclusive comparison is indistinguishable on the analog plane — the boundary lives inside the comparator’s ambiguity band, which the budget prices (CompareBand).

Fields

c: ASrc

t: ASrc

f: ASrc

Exp

Translinear exponential (subthreshold-MOS / diff-pair current law): v = eˣ. NOT scale-invariant — translinear nets run at unit block scale (volt ≡ math), enforced by the schedule (the O6 pinning rule).

Fields

a: ASrc

Log

Translinear logarithm (forward-diode law): v = ln x, domain x > 0 — certified fail-closed by the range rules.

Fields

a: ASrc

Tanh

Differential-pair saturation: v = tanh x.

Fields

a: ASrc

Sqrt

Translinear square root (Gilbert 1975 loop): v = √x, domain x > 0 for a bounded error slope (the budget’s Lipschitz factor diverges at 0).

Fields

a: ASrc

Div

Translinear ratio (Gilbert 1975): v = a / b; the divisor’s certified box must clear zero (DivisorRangeSpansZero otherwise — the starvation refusal).

Fields

a: ASrc

b: ASrc

Implementations

impl AnalogCell

pub fn kind(&self) -> AnalogCellKind

The tile kind this cell demands of a target.

pub fn eval(&self, inputs: &[f64], vals: &[f64]) -> f64

Ideal math-domain evaluation.

Trait Implementations

impl Clone for AnalogCell

fn clone(&self) -> AnalogCell

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AnalogCell

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

Formats the value using the given formatter.

impl PartialEq for AnalogCell

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