pub fn emit_yosys_tapeout_flow(module: &str, rtl_file: &str) -> StringExpand description
Emit a yosys synthesis FLOW (.ys) that takes the reversible soft-core RTL to a gate-level netlist
(corner 5, phase 5). This is the tape-out-ready boundary produced IN-REPO: the synthesizable,
formally-verified reversible RTL (emit_reversible_alu_verilog) PLUS this flow. Executing it needs
the external yosys synthesizer (not installed here); mapping the generic gate set to an
adiabatic / charge-recovery PDK and running a foundry are the physical tape-out steps beyond
software. The flow reads the module, elaborates, techmaps, maps to a generic gate library, and
writes the gate-level netlist + a resource report.