Struct SyncFifoFunctional 

pub struct SyncFifoFunctional { /* private fields */ }

Depth-4 SyncFifo functional model (architectural PortValues).

FR103 completion face for FIFO. FR112 separately deepens GeneratedFunctional MemRead≡tick; that path does not replace this handwritten SyncFifo FL (see docs/fr103-ip-dual-model.md).

Implementations

impl SyncFifoFunctional

pub fn new() -> Self

Trait Implementations

impl AbstractionView for SyncFifoFunctional

fn cycle(&mut self, inputs: &PortValues) -> PortValues

impl Clone for SyncFifoFunctional

fn clone(&self) -> SyncFifoFunctional

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SyncFifoFunctional

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

Formats the value using the given formatter.

impl Default for SyncFifoFunctional

fn default() -> SyncFifoFunctional

Returns the “default value” for a type.