Skip to main content

Crate veryl_simulator

Crate veryl_simulator 

Source

Re-exports§

pub use ir::Config;
pub use simulator::Simulator;
pub use simulator_error::SimulatorError;

Modules§

assert_buffer
Thread-local buffer for $assert / $assert_continue failures.
backend
Backend abstraction for the simulator.
component
Driving of user-defined verification components: host services, the runtime that stages inputs and fires hooks around each event, and loading of component libraries.
file_table
Thread-local file handle table backing the $tb::file testbench handles.
ir
output_buffer
Thread-local output buffer for $display / $write statements. Prevents interleaved output during parallel test execution.
random_table
Thread-local RNG table backing the $tb::random testbench handles.
residency
Which engine a run actually used, as opposed to the one it asked for.
simulator
simulator_error
testbench
wave_dumper
wavedrom
wide_ops
Helper functions for wide (>128-bit) arithmetic operations. Called from JIT-compiled code via call_indirect. All data is stored as little-endian u64 chunks.

Constants§

IR_WALK_STACK_BYTES
Stack size for threads that walk user-design IR (conv over nested statements, the AOT-C expression emitter): the recursion depth is bounded by design nesting, but a deep decoder chain exceeds the 2 MiB spawned-thread default under debug frame sizes. Reserved virtual memory only — untouched pages are never committed.

Type Aliases§

FuncPtr