Struct Sensitization 

pub struct Sensitization<C: Ctx> {
    pub name: String,
    pub extra_ctx: C::Other,
    pub attributes: Attributes,
    pub pin_names: Vec<String>,
    pub vector: Vec<SensitizationVector>,
    /* private fields */
}

The sensitization group defined at the library level describes.

the complete state patterns for a specific list of pins (defined by the pin_names attribute) that are referenced and instantiated as stimuli in the timing arc.

Vector attributes in the group define all possible pin states used as stimuli. Actual stimulus waveforms can be described by a combination of these vectors. Multiple sensitization groups are allowed in a library. Each sensitization group can be referenced by multiple cells, and each cell can make reference to multiple sensitization groups.

Reference

Fields

name: String

name

extra_ctx: C::Other

attributes: Attributes

group undefined attributes

pin_names: Vec<String>

The pin_names attribute specified at the library level defines a default list of pin names. All vectors in this sensitization group are the exhaustive list of all possible transitions of the input pins and their subsequent output response.

The pin_names attribute is required, and it must be declared in the sensitization group before all vector declarations. Reference

vector: Vec<SensitizationVector>

vector Complex Attribute

Similar to the pin_names attribute, the vector attribute describes a transition pattern for the specified pins. The stimulus is described by an ordered list of vectors.

The arguments for the vector attribute are as follows:

vector id

The vector id argument is an identifier to the vector string (a number tag that defines the list of possible sensitization combinations in a cell). The vector id value must be an integer greater than or equal to zero and unique among all vectors in the current sensitization group. It is recommended that you start numbering from 0 or 1.

vector string

The vector string argument represents a pin transition state. The string consists of the following transition status values: 0, 1, X, and Z where each character is separated by a space. The number of elements in the vector string must equal the number of arguments in pin_names.

The vector attribute can also be declared as:

vector (positive_integer, "{0|1|X|Z} [0|1|X|Z]…");

Syntax

vector (integer, string);

Example

sensitization(sensitization_nand2) {
  pin_names ( IN1, IN2, OUT1 );
  vector ( 1, "0 0 1" );
  vector ( 2, "0 1 1" );
  vector ( 3, "1 0 1" );
  vector ( 4, "1 1 0" );
}

Reference

Implementations

impl<C: Ctx> Sensitization<C>

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

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

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

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

Trait Implementations

impl<C: Ctx> Borrow<String> for Sensitization<C>

fn borrow(&self) -> &SensitizationId

Immutably borrows from an owned value.

impl<C: Ctx> Borrow<str> for Sensitization<C>

fn borrow(&self) -> &str

Immutably borrows from an owned value.

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

where C::Other: Clone,

fn clone(&self) -> Sensitization<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 Sensitization<C>

where C::Other: Debug,

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

Formats the value using the given formatter.

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

where C::Other: 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 Sensitization<C>

type Id = String

type IdReadonlyItem = IdReadonlySensitization<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> Serialize for Sensitization<C>

where C::Other: Serialize + DeserializeOwned,

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

where __S: Serializer,

Serialize this value into the given Serde serializer.