Yosys' setparam and getparam (implemented in the params plugin) commands should be used in the arch-defs synth.tcl script to recalculate the parameters before techmapping of the PLL blocks, e.g the CLKOUT%n_PHASE should be multiplied by 1000 in order for the final eblif have the correct values of parameters.
Yosys' setparam and getparam (implemented in the params plugin) commands should be used in the arch-defs synth.tcl script to recalculate the parameters before techmapping of the PLL blocks, e.g the CLKOUT%n_PHASE should be multiplied by 1000 in order for the final eblif have the correct values of parameters.