Struct StaticSchedule

pub struct StaticSchedule<'b, 'a: 'b> {
    pub builder: &'b mut Builder<'a>,
    pub state: u64,
    pub state2assigns: HashMap<u64, Vec<Assignment<Nothing>>>,
    pub state2trans: HashMap<u64, Transition>,
}

An instance of StaticSchedule is constrainted to live at least as long as the component in which the static island that it represents lives.

Fields

builder: &'b mut Builder<'a>

Builder construct to add hardware to the component it’s built from

state: u64

Number of cycles to which the static schedule should count up

state2assigns: HashMap<u64, Vec<Assignment<Nothing>>>

Maps every FSM state to assignments that should be active in that state

state2trans: HashMap<u64, Transition>

Parital map from FSM state to transitions out of that state. If a state has no mapping, assume it’s an unconditional transition to state + 1.

Implementations

impl StaticSchedule<'_, '_>

pub fn leave_one_state_condition( &mut self, guard: Guard<Nothing>, sen: &StaticEnable, ) -> Guard<Nothing>

pub fn register_transitions( &mut self, curr_state: u64, transitions_to_curr: &mut Vec<IncompleteTransition>, and_guard: Guard<Nothing>, )

pub fn build_fsm_pieces( &mut self, fsm: RRC<FSM>, ) -> (Vec<Vec<Assignment<Nothing>>>, Vec<Transition>, Vec<RRC<Cell>>)

Trait Implementations

impl<'b, 'a> From<&'b mut Builder<'a>> for StaticSchedule<'b, 'a>

fn from(builder: &'b mut Builder<'a>) -> Self

Converts to this type from the input type.