mira conectas el coolruner al nand-x abres el nandpro; y digitas lo siguiente "nandpro xsvf: placa.xsvf" sin las comillas y donde placa es la que vas a programar bien sea jasper, falcon o trinity.
o si no quieres digitar busca el programa jtag tool y desde hay lo programas.