xilinx_ise: improve parameter passing