Struct Latch 

pub struct Latch<C: Ctx> {
    pub variable1: String,
    pub variable2: String,
    pub extra_ctx: C::FFLatch,
    pub attributes: Attributes,
    pub clear: Option<LogicBooleanExpression>,
    pub preset: Option<LogicBooleanExpression>,
    pub clear_preset_var1: Option<ClearPresetState>,
    pub clear_preset_var2: Option<ClearPresetState>,
    pub enable: Option<LogicBooleanExpression>,
    pub enable_also: Option<LogicBooleanExpression>,
    pub data_in: Option<LogicBooleanExpression>,
    pub power_down_function: Option<PowerGroundBooleanExpression>,
    /* private fields */
}

A latch group is defined within a cell, model, or test_cell group to describe a levelsensitive memory device.

Reference-Definition

Fields

variable1: String

The variable1 (variable[0]) value is the state of the noninverting output of the flip-flop; the variable2 (variable[1]) value is the state of the inverting output. The variable1 value can be considered the 1-bit storage of the flip-flop. Valid values for variable1 and variable2 are anything except a pin name used in the cell being described. Both of these variables must be assigned, even if one of them is not connected to a primary output pin. Reference-Definition

variable2: String

The variable1 (variable[0]) value is the state of the noninverting output of the flip-flop; the variable2 (variable[1]) value is the state of the inverting output. The variable1 value can be considered the 1-bit storage of the flip-flop. Valid values for variable1 and variable2 are anything except a pin name used in the cell being described. Both of these variables must be assigned, even if one of them is not connected to a primary output pin. Reference-Definition

extra_ctx: C::FFLatch

attributes: Attributes

group undefined attributes

clear: Option<LogicBooleanExpression>

The clear attribute gives the active value for the clear input.

preset: Option<LogicBooleanExpression>

The preset attribute gives the active value for the preset input.

clear_preset_var1: Option<ClearPresetState>

The clear_preset_var1 attribute gives the value that variable1 has when clear and preset are both active at the same time.

clear_preset_var2: Option<ClearPresetState>

The clear_preset_var2 attribute gives the value that variable2 has when clear and preset are both active at the same time.

enable: Option<LogicBooleanExpression>

The enable attribute gives the state of the enable input, and data_in attribute gives the state of the data input. The enable and data_in attributes are optional, but if you use one of them, you must also use the other. Reference-Definition

enable_also: Option<LogicBooleanExpression>

The enable_also attribute gives the state of the enable input when you are describing master and slave cells. The enable_also attribute is optional. If you use enable_also, you must also use the enable and data_in attributes Reference-Definition

data_in: Option<LogicBooleanExpression>

The value of variable1 after the active edge.

power_down_function: Option<PowerGroundBooleanExpression>

Implementations

impl<C: Ctx> Latch<C>

pub fn comments_this(&self) -> Option<&String>

pub fn comments_this_entry<'a>(&'a mut self) -> Entry<'a, u64, String>

pub fn comments_clear(&self) -> Option<&String>

pub fn comments_clear_entry<'a>(&'a mut self) -> Entry<'a, u64, String>

pub fn comments_preset(&self) -> Option<&String>

pub fn comments_preset_entry<'a>(&'a mut self) -> Entry<'a, u64, String>

pub fn comments_clear_preset_var1(&self) -> Option<&String>

pub fn comments_clear_preset_var1_entry<'a>( &'a mut self, ) -> Entry<'a, u64, String>

pub fn comments_clear_preset_var2(&self) -> Option<&String>

pub fn comments_clear_preset_var2_entry<'a>( &'a mut self, ) -> Entry<'a, u64, String>

pub fn comments_enable(&self) -> Option<&String>

pub fn comments_enable_entry<'a>(&'a mut self) -> Entry<'a, u64, String>

pub fn comments_enable_also(&self) -> Option<&String>

pub fn comments_enable_also_entry<'a>(&'a mut self) -> Entry<'a, u64, String>

pub fn comments_data_in(&self) -> Option<&String>

pub fn comments_data_in_entry<'a>(&'a mut self) -> Entry<'a, u64, String>

pub fn comments_power_down_function(&self) -> Option<&String>

pub fn comments_power_down_function_entry<'a>( &'a mut self, ) -> Entry<'a, u64, String>

Trait Implementations

impl<C: Clone + Ctx> Clone for Latch<C>

where C::FFLatch: Clone,

fn clone(&self) -> Latch<C>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<C: Debug + Ctx> Debug for Latch<C>

where C::FFLatch: Debug,

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

Formats the value using the given formatter.

impl<'de, C: Ctx> Deserialize<'de> for Latch<C>

where C::FFLatch: Serialize + DeserializeOwned,

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<C: Ctx> Item for Latch<C>

type Id = LatchId

type IdReadonlyItem = IdReadonlyLatch<C>

unsafe fn __unsafe_deref_mut(&self) -> &mut Self::IdReadonlyItem

Safety

fn id(&self) -> &Self::Id

fn id_readonly(&mut self) -> &mut Self::IdReadonlyItem

impl<C: Ctx> LatchFF for Latch<C>

fn logically_eq(&self, other: &Self) -> bool

fn logically_inverse(&self, other: &Self) -> bool

fn partial_logically_inverse(&self, other: &Self) -> bool

fn variable1_expr(&self) -> BooleanExpression

Get the BooleanExpression of variable1

fn variable2_expr(&self) -> BooleanExpression

Get the BooleanExpression of variable2

fn variable_expr(&self) -> (BooleanExpression, BooleanExpression)

Get the LogicBooleanExpression of (variable1,variable2)

impl<C: Ctx> Serialize for Latch<C>

where C::FFLatch: Serialize + DeserializeOwned,

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.