Function emit_ddr2_controller_testbench 

pub fn emit_ddr2_controller_testbench(t: &DramTimings, n_words: u32) -> String

Emit tb_ddr2_ctrl — writes n_words (distinct bank/col addresses), reads them back, and asserts each read equals the written data with no model_error. The access pattern is generated here.