how to translate verilog to exlif

Hi,

Now I'm using the Forte tool, which is a intel formal verification tool and need a format of exlif.

Who can tell me whether quartus provide suuport to generate the netlist in exlif format?

Thanks in advance.

yongjian Li