Trait StaticAnalysisView 

pub trait StaticAnalysisView {
    // Required methods
    fn partition_of(&self, sig: InstantiatedSignalId) -> RegionId;
    fn cdc_edges_into(&self, region: RegionId) -> Vec<CdcEdge>;
    fn dpi_tag(&self, call: CallSiteId) -> DpiVpiTag;
    fn on_force_observed(
        &self,
        sig: InstantiatedSignalId,
    ) -> ForceObservedAction;
}

The analyze() hand-off surface (netlist-analysis.md’s impl StaticAnalysisResult; ledger NL-005, NL-006, NL-009, NL-053, NL-085, NL-106), reframed as a trait for the same reason as crate::netlist::NetlistView.

Required Methods

fn partition_of(&self, sig: InstantiatedSignalId) -> RegionId

fn cdc_edges_into(&self, region: RegionId) -> Vec<CdcEdge>

fn dpi_tag(&self, call: CallSiteId) -> DpiVpiTag

fn on_force_observed(&self, sig: InstantiatedSignalId) -> ForceObservedAction

The ForceObserved hook signature.

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl StaticAnalysisView for StaticAnalysisResult

Available on crate feature frontend only.