Function emit_infinichip_testbench 

pub fn emit_infinichip_testbench() -> String

Emit a SELF-CHECKING integration testbench: it drives all three datapaths through the composed infinichip top and asserts (1) the ECC read path corrects a single-bit fault and recovers the data one edge after the codeword arrives, (2) the double-buffer banks stay disjoint across a swap, and (3) the command player issues a loaded command with the exact decoded payload. Prints PASS/FAIL — no external vectors needed.