pub fn emit_keccak_round_verilog() -> String
Emit the combinational one-round Keccak-f[1600] module: state s + round constant rc → o. Lane i occupies bits [64*i +: 64] (little-endian lane packing).
Keccak-f[1600]
s
rc
o
[64*i +: 64]