Struct RangeCertificate 

pub struct RangeCertificate {
    pub input_bounds: Vec<MathBound>,
    pub per_net: Vec<NetBound>,
    pub rail_half_span_v: f64,
    pub noise_floor_v: f64,
    pub min_full_scale_over_noise: f64,
}

The range-safety certificate: per-net bounds + the physical envelope they were proven against. Independently judged by logicaffeine_proof::interval_replay::check_range_claim via to_range_claim; nothing here is trusted by the checker.

Fields

input_bounds: Vec<MathBound>

Declared math-domain input bounds, in plane-input order.

per_net: Vec<NetBound>

Per-cell bounds (SSA order).

rail_half_span_v: f64

The usable half-span in volts the bounds were proven inside.

noise_floor_v: f64

The noise floor the starvation check used (0.0 on an ideal target).

min_full_scale_over_noise: f64

The demanded full-scale/noise ratio.

Trait Implementations

impl Clone for RangeCertificate

fn clone(&self) -> RangeCertificate

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RangeCertificate

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

Formats the value using the given formatter.

impl PartialEq for RangeCertificate

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