Struct BetSimEmitter 

pub struct BetSimEmitter { /* private fields */ }

Generates Icarus Verilog simulation testbenches for BET programs.

Implementations

impl BetSimEmitter

pub fn new() -> Self

pub fn with_max_cycles(max_cycles: usize) -> Self

pub fn emit_testbench(&self, bytecode: &[u8]) -> String

Emit a complete, self-contained Verilog testbench for the given BET bytecode.

The output file can be compiled and run with:

iverilog -o bet_sim.vvp bet_sim_tb.v && vvp bet_sim.vvp

pub fn iverilog_available() -> bool

Check whether Icarus Verilog (iverilog) is available on $PATH.

pub fn run_iverilog(tb_path: &str) -> Result<String, String>

Compile and run a testbench file using Icarus Verilog. Returns (stdout, stderr, exit_code).

Requires iverilog and vvp on $PATH.

Trait Implementations

impl Default for BetSimEmitter

fn default() -> Self

Returns the “default value” for a type.