Struct Oracle 

pub struct Oracle {
    pub products: Vec<Class>,
    pub sums: Vec<Class>,
    pub vectors: Vec<[u32; 3]>,
}

What the oracle is built from: the classes of the multiply and of the add, and the vectors its ROM holds.

Fields

products: Vec<Class>

sums: Vec<Class>

vectors: Vec<[u32; 3]>

Implementations

impl Oracle

pub fn from_ledger(json: &str) -> Result<Oracle, OracleError>

The oracle benchmarks/silicon/d5005/fp_discriminators.json describes: each class’s first member, the multiply’s and the add’s vectors with C zero, then fma_vectors.

pub fn counter_beats(&self) -> usize

The store’s beats of counters, eight to a beat.

pub fn records_at(&self) -> usize

The store’s first record beat.

pub fn record_cap(&self) -> usize

The most records a run stores.

pub fn core_verilog(&self) -> String

The oracle’s core (logos_fp_oracle) with its soft classes, its vector ROM and its store: every module the engine top instantiates but the crossing and the hard block.

pub fn own_verilog(&self) -> String

The modules the oracle writes itself, which say what the card measures and how its record reads: its classes’ units, its vector ROM and delay line, its core. The rest of Oracle::engine_verilog is the library’s it embeds: the engine’s crossing, the store’s memory, and the persona’s engine top over the engine’s ports.

pub fn engine_verilog(&self) -> String

The persona’s logos_engine: the core behind the engine’s crossing, with every module it is built of but the hard block, which Quartus places.

Trait Implementations

impl Clone for Oracle

fn clone(&self) -> Oracle

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Oracle

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

Formats the value using the given formatter.

impl PartialEq for Oracle

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