Crate celox_runtime

Expand description

Backend-independent executable simulation contracts and utilities.

Modules§

DesignReflection
EventInfo: Runtime metadata for one event domain.
ProcessRefs: Control slots of one process kernel, resolved to signals of the backend.
ReflectionScope
ReflectionScopeId
ReflectionSignal
ReflectionSignalId
RuntimeEventBuffer
ScheduleParts: Scheduling state expressed with the event handles of one backend, so a caller can translate it to and from names.
ScheduleRecord: Scheduling state of a time-based simulation.
ScheduledEvent: A pending event of a time-based simulation, identified by name.
SignalArrayLayout
SignalRef
SimulationSnapshot: Scheduling state captured by SimulationState::snapshot.
SimulationState: Backend-independent state and execution rules for timed simulation.
StateFile: Contents of a state file.
StateObject: The saved value of one state object.
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.
VcdStatistics
VcdWriter

SignalDirection
SimulatorErrorCode
StateDifference: A state object whose saved values differ between two files.
StateFileError: A state file that could not be read.
StateRole: How a state object gets its value.

SimulationExecutor: Backend execution hooks needed by the timed simulation engine.

bind_testbench_program
comb_fatal_code: Generated combinational fatal captures use negative status codes. Positive statuses belong to loop/runtime errors; zero means success. Keep the range bounded by the event site’s u32 ID so internal failures such as a panicked lane (i64::MIN) cannot be mistaken for an assertion.
comb_fatal_site: Decode the site of a generated combinational fatal status.
format_state_value: Format little-endian bytes as a hexadecimal number of width bits, with X/Z bits from mask shown as x.