Struct CutNetlist 

pub struct CutNetlist {
    pub netlist: Netlist,
    pub units: Vec<UnitInstance>,
}

A design with its units cut out: its netlist and the instances, by name.

Fields

netlist: Netlist

units: Vec<UnitInstance>

Implementations

impl CutNetlist

pub fn units( &self, latency: &dyn Fn(&str) -> usize, ignored: &[&str], ) -> Vec<Unit>

The units for logicaffeine_proof::units: each instance’s operand and result bits by the names the cut gave them, its operands in port order bit by bit with the ports ignored left out (a pipelined unit’s clock is no operand), its function (UnitInstance::function), and its latency as latency gives it by function. A port’s bits are every bit the cut exposes for it, past those the instance connects when its module declares the port wider at its own parameters’ defaults.

Trait Implementations

impl Clone for CutNetlist

fn clone(&self) -> CutNetlist

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CutNetlist

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

Formats the value using the given formatter.