Skip to main content

Crate celox_runtime

Crate celox_runtime 

Source
Expand description

Backend-independent executable simulation contracts and utilities.

Modules§

backend
scheduler

Structs§

DesignReflection
EventInfo
Runtime metadata for one event domain.
ReflectionScope
ReflectionScopeId
ReflectionSignal
ReflectionSignalId
RuntimeEventBuffer
SignalArrayLayout
SignalRef
SimulationState
Backend-independent state and execution rules for timed simulation.
VcdExternalSignalDesc
Describes a signal whose value is supplied by an external runtime rather than stored in Celox’s flat simulation memory.
VcdSignalDesc
Describes a signal for VCD recording.
VcdWriter

Enums§

SignalDirection
SimulatorErrorCode

Traits§

SimulationExecutor
Backend execution hooks needed by the timed simulation engine.

Functions§

bind_testbench_program

Type Aliases§

AbsoluteAddr
MemoryLayout