Trait TimingQuery 

pub trait TimingQuery: NetlistIds {
    type NetlistIds: NetlistIds;
    type ArrivalTime;
    type RequiredArrivalTime;
    type Slack: Debug;

    // Required methods
    fn report_aat(
        &self,
        pin: TerminalId<Self::NetlistIds>,
        edge_polarity: RiseFall,
    ) -> Option<Self::ArrivalTime>;
    fn report_rat(
        &self,
        pin: TerminalId<Self::NetlistIds>,
        edge_polarity: RiseFall,
    ) -> Option<Self::RequiredArrivalTime>;
    fn report_slack(
        &self,
        pin: TerminalId<Self::NetlistIds>,
        edge_polarity: RiseFall,
    ) -> Option<Self::Slack>;
    fn report_timing(&self) -> Vec<()>;
}

Enhance a netlist with timing queries.

Required Associated Types

type NetlistIds: NetlistIds

Type which defines IDs of netlist components.

type ArrivalTime

Type for the actual arrival times.

type RequiredArrivalTime

Type for required arrival times.

type Slack: Debug

Type for delays (time difference) such as slack.

Required Methods

fn report_aat( &self, pin: TerminalId<Self::NetlistIds>, edge_polarity: RiseFall, ) -> Option<Self::ArrivalTime>

Report arrival time. Assumes prior call to update_timing if the netlist was modified. Might panic otherwise. Returns an Option because some it is possible that no arrival time is defined (for example for a floating part of the netlist which is not attached to a clock).

fn report_rat( &self, pin: TerminalId<Self::NetlistIds>, edge_polarity: RiseFall, ) -> Option<Self::RequiredArrivalTime>

Report required arrival time. Assumes prior call to update_timing if the netlist was modified. Might panic otherwise.

fn report_slack( &self, pin: TerminalId<Self::NetlistIds>, edge_polarity: RiseFall, ) -> Option<Self::Slack>

Report slack (arrival time - required arrival time). Assumes prior call to update_timing if the netlist was modified. Might panic otherwise.

fn report_timing(&self) -> Vec<()>

Report a list of worst paths.

Implementors

impl<'a, N, Lib> TimingQuery for Timed<'a, N, Lib>

where N: NetlistBase, Lib: DelayBase + ConstraintBase,

type NetlistIds = N

type ArrivalTime = <Lib as TimingBase>::Signal

type RequiredArrivalTime = <Lib as ConstraintBase>::RequiredSignal

type Slack = <Lib as ConstraintBase>::Slack