I don't know about Verilog -- shouldn't that come from Virtuoso's stream out? -- but if you are using Calibre xRC or Calibre xACT you can get not just a SPEF netlist, but one set up for PrimeTime.
In Calibre Interactive - PEX, click the Outputs button, then select the Netlist tab. You set it for SPEF output in the Format dropdown. At the very bottom of that dropdown, according to the 2013.3 manual, there is also a checkbox for the PRIMETIME keyword. (I usually use batch mode, so cannot tell you how far back these instructions are valid for.)
If you aren't sure how to set up a Calibre Interactive run, the xRC manual has a chapter walking you through the basics, or you can refer to the Calibre Interactive manual, which has a chapter on PEX specifically. (And also a chapter on integrating Calibre Interactive into Virtuoso.)
Hope this helped-
Sam.