pub fn emit_infinichip_verilog() -> String
Emit the SELF-CONTAINED infinichip.v: every certified sub-block definition inlined, followed by the structural top. One PDK-agnostic file → tapes out on Sky130 with no cross-file deps.
infinichip.v