generating netlists in quartus

Hi,

I'm looking to find out how to generate netlists in quartus for use with LEC tools.

namely: synopsys Formality, Cadence Conformal, and Mentor Graphics formalpro.

I am having trouble finding documentation on the EDA netlist writer that suggests I can export netlists recognizable by all 3 tools mentioned above.

edit: is it even possible to output any other netlist file besides .vo files? There seems to be adequate support for COnformal LEC, but the other tools have been largely ignored.