spice netlist is required when using powermill(synopsys) to analyze power of the chip.
in Calibre, one command v2lvs is one way.
in panda, one command ver2cdl is another way to convert.
but, top module of the verilog netlist includes some IP which has no spice.