Function emit_ddr2_init_testbench 

pub fn emit_ddr2_init_testbench(t: &DramTimings, cke_low_cycles: u64) -> String

A behavioral testbench for ddr2_init_fsm: a bus monitor records each isolated real command (NOP/DESELECT skipped) the FSM issues during power-up, and asserts the recorded log equals the JEDEC command sequence (generated from ddr2_init_sequence) and that init_done asserts.