Transform RTL Verilog into a technology-mapped gate-level netlist — with timing constraints, logic optimization, and tapeout-ready outputs for place & route.
read_verilog, elaborate, link_library, source sdc, compile_ultra, write_verilog, write_sdf.read_hdl, elaborate, init_design, syn_gen, syn_map, syn_opt, write_hdl.read_verilog, synth, abc, techmap, write_verilog. Used in OpenROAD, SKY130 PDK flows.