Skip to main content

emit_yosys_tapeout_flow

Function emit_yosys_tapeout_flow 

Source
pub fn emit_yosys_tapeout_flow(module: &str, rtl_file: &str) -> String
Expand 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.