Function synth_tcl 

pub fn synth_tcl(e: &Estimate, b: &Budget) -> String

Vivado out-of-context synthesis gate enforcing the plan’s budget.

The script synthesizes the exported Verilog with -max_dsp, writes the utilization reports and measured.json, and fails if the measured LUTs or DSPs exceed the budget.