Function emit_state_soc_tb 

pub fn emit_state_soc_tb() -> String

A self-checking testbench for state_soc: drive each (a,b,c) vector, pulse rst, run until done, and $display(\"result cycles\"). state_soc_lock runs it under iverilog and checks each result ≡ the VM and each cycle count > 1 (a sequenced state program, not a 1-clock combinational decision).