void vpr_fpga_spice(t_vpr_setup vpr_setup,
                    t_arch Arch,
                    char* circuit_name);