Struct Design

pub struct Design { /* private fields */ }

Sea of Cells.

Implementations

impl Design

pub fn new() -> Design

pub fn with_target(target: Option<Arc<dyn Target>>) -> Design

pub fn add_io(&self, name: impl Into<String>, width: usize) -> IoValue

pub fn get_io(&self, name: impl AsRef<str>) -> Option<IoValue>

pub fn find_io(&self, io_net: IoNet) -> Option<(&str, usize)>

pub fn iter_ios(&self) -> impl Iterator<Item = (&str, IoValue)>

pub fn add_cell_with_metadata_ref( &self, cell: Cell, metadata: MetaItemRef<'_>, ) -> Value

pub fn add_cell_with_metadata( &self, cell: Cell, metadata: &MetaItem<'_>, ) -> Value

pub fn use_metadata(&self, item: MetaItemRef<'_>) -> WithMetadataGuard<'_>

pub fn use_metadata_from( &self, cell_refs: &[CellRef<'_>], ) -> WithMetadataGuard<'_>

pub fn add_cell(&self, cell: Cell) -> Value

pub fn add_void(&self, width: usize) -> Value

pub fn find_cell(&self, net: Net) -> Result<(CellRef<'_>, usize), Trit>

pub fn iter_cells(&self) -> CellIter<'_>

pub fn add_metadata_string(&self, string: &str) -> MetaStringRef<'_>

pub fn add_metadata_item(&self, item: &MetaItem<'_>) -> MetaItemRef<'_>

pub fn replace_net(&self, from_net: impl Into<Net>, to_net: impl Into<Net>)

pub fn replace_value<'a, 'b>( &self, from_value: impl Into<Cow<'a, Value>>, to_value: impl Into<Cow<'b, Value>>, )

pub fn map_net(&self, net: impl Into<Net>) -> Net

pub fn map_value(&self, value: impl Into<Value>) -> Value

pub fn is_empty(&self) -> bool

pub fn is_changed(&self) -> bool

pub fn verify<SMT: SmtEngine>(&self, engine: SMT) -> Result<(), SMT::Error>

pub fn apply(&mut self) -> bool

pub fn target(&self) -> Option<Arc<dyn Target>>

pub fn target_prototype(&self, target_cell: &TargetCell) -> &TargetPrototype

impl Design

pub fn add_buf(&self, arg: impl Into<Value>) -> Value

pub fn add_buf1(&self, arg: impl Into<Net>) -> Net

pub fn add_not(&self, arg: impl Into<Value>) -> Value

pub fn add_not1(&self, arg: impl Into<Net>) -> Net

pub fn add_and(&self, arg1: impl Into<Value>, arg2: impl Into<Value>) -> Value

pub fn add_and1(&self, arg1: impl Into<Net>, arg2: impl Into<Net>) -> Net

pub fn add_or(&self, arg1: impl Into<Value>, arg2: impl Into<Value>) -> Value

pub fn add_or1(&self, arg1: impl Into<Net>, arg2: impl Into<Net>) -> Net

pub fn add_xor(&self, arg1: impl Into<Value>, arg2: impl Into<Value>) -> Value

pub fn add_xor1(&self, arg1: impl Into<Net>, arg2: impl Into<Net>) -> Net

pub fn add_adc( &self, arg1: impl Into<Value>, arg2: impl Into<Value>, arg3: impl Into<Net>, ) -> Value

pub fn add_eq(&self, arg1: impl Into<Value>, arg2: impl Into<Value>) -> Net

pub fn add_ult(&self, arg1: impl Into<Value>, arg2: impl Into<Value>) -> Net

pub fn add_slt(&self, arg1: impl Into<Value>, arg2: impl Into<Value>) -> Net

pub fn add_shl( &self, arg1: impl Into<Value>, arg2: impl Into<Value>, stride: u32, ) -> Value

pub fn add_ushr( &self, arg1: impl Into<Value>, arg2: impl Into<Value>, stride: u32, ) -> Value

pub fn add_sshr( &self, arg1: impl Into<Value>, arg2: impl Into<Value>, stride: u32, ) -> Value

pub fn add_xshr( &self, arg1: impl Into<Value>, arg2: impl Into<Value>, stride: u32, ) -> Value

pub fn add_mul(&self, arg1: impl Into<Value>, arg2: impl Into<Value>) -> Value

pub fn add_udiv(&self, arg1: impl Into<Value>, arg2: impl Into<Value>) -> Value

pub fn add_umod(&self, arg1: impl Into<Value>, arg2: impl Into<Value>) -> Value

pub fn add_sdiv_trunc( &self, arg1: impl Into<Value>, arg2: impl Into<Value>, ) -> Value

pub fn add_sdiv_floor( &self, arg1: impl Into<Value>, arg2: impl Into<Value>, ) -> Value

pub fn add_smod_trunc( &self, arg1: impl Into<Value>, arg2: impl Into<Value>, ) -> Value

pub fn add_smod_floor( &self, arg1: impl Into<Value>, arg2: impl Into<Value>, ) -> Value

pub fn add_match(&self, arg: impl Into<MatchCell>) -> Value

pub fn add_assign(&self, arg: impl Into<AssignCell>) -> Value

pub fn add_dff(&self, arg: impl Into<FlipFlop>) -> Value

pub fn add_memory(&self, arg: impl Into<Memory>) -> Value

pub fn add_iobuf(&self, arg: impl Into<IoBuffer>) -> Value

pub fn add_other(&self, arg: impl Into<Instance>) -> Value

pub fn add_target(&self, arg: impl Into<TargetCell>) -> Value

pub fn add_input(&self, name: impl Into<String>, width: usize) -> Value

pub fn add_input1(&self, name: impl Into<String>) -> Net

pub fn add_output(&self, name: impl Into<String>, value: impl Into<Value>)

pub fn add_name(&self, name: impl Into<String>, value: impl Into<Value>)

pub fn add_debug(&self, name: impl Into<String>, value: impl Into<Value>)

pub fn add_mux( &self, arg1: impl Into<ControlNet>, arg2: impl Into<Value>, arg3: impl Into<Value>, ) -> Value

pub fn add_mux1( &self, arg1: impl Into<ControlNet>, arg2: impl Into<Net>, arg3: impl Into<Net>, ) -> Net

pub fn add_ne(&self, arg1: impl Into<Value>, arg2: impl Into<Value>) -> Net

impl Design

pub fn iter_cells_topo(&self) -> impl DoubleEndedIterator<Item = CellRef<'_>>

pub fn compact(&mut self) -> bool

pub fn statistics(&self) -> BTreeMap<String, usize>

impl Design

pub fn display_net(&self, net: impl Into<Net>) -> impl Display + '_

pub fn display_control_net( &self, net: impl Into<ControlNet>, ) -> impl Display + '_

pub fn display_value<'a, 'b: 'a>( &'a self, value: impl Into<Cow<'b, Value>>, ) -> impl Display + 'a

pub fn display_cell<'a>(&'a self, cell_ref: CellRef<'a>) -> impl Display + 'a

Trait Implementations

impl Clone for Design

fn clone(&self) -> Design

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Design

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

Formats the value using the given formatter.

impl Display for Design

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

Formats the value using the given formatter.

impl FromStr for Design

type Err = ParseError

The associated error which can be returned from parsing.

fn from_str(source: &str) -> Result<Self, Self::Err>

Parses a string s to return a value of this type.