Struct GeneratedFunctional 

pub struct GeneratedFunctional { /* private fields */ }

In-process functional model derived from FrozenHir (FR47 / FR112 / FR159).

FR112: SyncReadMem / Mem MemRead+MemWrite semantics match cycle-accurate crate::Sim::tick (latency-1 sync read via pending_mem_reads) for the in-process view / check_generated_bridge.

FR159: generate_functional_sim emits the same MemRead/MemWrite + SyncReadMem latency-1 semantics into the standalone functional-sim crate (no longer stubs MemRead as 0).

Implementations

impl GeneratedFunctional

pub fn from_hir(hir: &FrozenHir) -> Self

Build a functional model from the top module of hir.

Trait Implementations

impl AbstractionView for GeneratedFunctional

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

impl Clone for GeneratedFunctional

fn clone(&self) -> GeneratedFunctional

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for GeneratedFunctional

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

Formats the value using the given formatter.