Enum HwEntityType 

pub enum HwEntityType {
    Module {
        name: String,
        is_top: bool,
    },
    Port {
        direction: PortDirection,
        width: u32,
        domain: Option<String>,
    },
    Signal {
        width: u32,
        signal_type: SignalType,
        domain: Option<String>,
    },
    Register {
        width: u32,
        reset_value: Option<u64>,
        clock: Option<String>,
    },
    Memory {
        depth: u32,
        width: u32,
        ports: u8,
    },
    Fifo {
        depth: u32,
        width: u32,
    },
    Bus {
        width: u32,
        protocol: Option<String>,
    },
    Parameter {
        value: String,
    },
    Fsm {
        states: Vec<String>,
        initial: Option<String>,
    },
    Counter {
        width: u32,
        direction: CounterDirection,
    },
    Arbiter {
        scheme: ArbitrationScheme,
        ports: u8,
    },
    Decoder {
        input_width: u32,
        output_width: u32,
    },
    Mux {
        inputs: u8,
        select_width: u32,
    },
    Clock {
        frequency: Option<String>,
        domain: String,
    },
    Reset {
        polarity: ResetPolarity,
        synchronous: bool,
    },
    Interrupt {
        priority: Option<u8>,
        edge_triggered: bool,
    },
    Handshake {
        valid_signal: String,
        ready_signal: String,
    },
    Pipeline {
        stages: u32,
        stall_signal: Option<String>,
    },
    Transaction {
        request: String,
        response: String,
    },
    DataPath {
        width: u32,
        signed: bool,
    },
    Address {
        width: u32,
        base: Option<u64>,
        range: Option<u64>,
    },
    Configuration {
        fields: Vec<String>,
    },
    SafetyProperty {
        formula: String,
    },
    LivenessProperty {
        formula: String,
    },
    FairnessProperty {
        formula: String,
    },
    ResponseProperty {
        trigger: String,
        response: String,
        bound: Option<u32>,
    },
    MutexProperty {
        signals: Vec<String>,
    },
    StabilityProperty {
        signal: String,
        condition: String,
    },
}

Formal hardware entity types with parameterized attributes.

28 variants organized into 6 categories:

• Structural (8): Module, Port, Signal, Register, Memory, Fifo, Bus, Parameter
• Control (5): Fsm, Counter, Arbiter, Decoder, Mux
• Temporal (3): Clock, Reset, Interrupt
• Protocol (3): Handshake, Pipeline, Transaction
• Data (3): DataPath, Address, Configuration
• Property (6): SafetyProperty, LivenessProperty, FairnessProperty, ResponseProperty, MutexProperty, StabilityProperty

Variants

Module

Fields

name: String

is_top: bool

Port

Fields

direction: PortDirection

width: u32

domain: Option<String>

Signal

Fields

width: u32

signal_type: SignalType

domain: Option<String>

Register

Fields

width: u32

reset_value: Option<u64>

clock: Option<String>

Memory

Fields

depth: u32

width: u32

ports: u8

Fifo

Fields

depth: u32

width: u32

Bus

Fields

width: u32

protocol: Option<String>

Parameter

Fields

value: String

Fsm

Fields

states: Vec<String>

initial: Option<String>

Counter

Fields

width: u32

direction: CounterDirection

Arbiter

Fields

scheme: ArbitrationScheme

ports: u8

Decoder

Fields

input_width: u32

output_width: u32

Mux

Fields

inputs: u8

select_width: u32

Clock

Fields

frequency: Option<String>

domain: String

Reset

Fields

polarity: ResetPolarity

synchronous: bool

Interrupt

Fields

priority: Option<u8>

edge_triggered: bool

Handshake

Fields

valid_signal: String

ready_signal: String

Pipeline

Fields

stages: u32

stall_signal: Option<String>

Transaction

Fields

request: String

response: String

DataPath

Fields

width: u32

signed: bool

Address

Fields

width: u32

base: Option<u64>

range: Option<u64>

Configuration

Fields

fields: Vec<String>

SafetyProperty

Fields

formula: String

LivenessProperty

Fields

formula: String

FairnessProperty

Fields

formula: String

ResponseProperty

Fields

trigger: String

response: String

bound: Option<u32>

MutexProperty

Fields

signals: Vec<String>

StabilityProperty

Fields

signal: String

condition: String

Trait Implementations

impl Clone for HwEntityType

fn clone(&self) -> HwEntityType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for HwEntityType

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for HwEntityType

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for HwEntityType

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

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for HwEntityType