Generating netlist for formal verification

I'm trying to generate a netlist for formal verification and not having much success.

Has anyone succeeded in compiling with a formal verification netlist selected?

Or given it up for dead?

If you succeeded, did you choose the conformal or the custom option?

Can you share the settings that worked?

Ed