Iam doing formal verification om certain block and iam having some of the display statement in source module.WIll those display statements displayed when i do simulation using IFV.
Ex:- iam having $display statement which is not getting generated in the log what could be the reason.
No, you won't see $display statements when running IFV. IFV does a mathematical, or "formal", proof of the design. It is *not* a simulator. A $display statement is a simulator statement and is ignored by the tool.
PS. IFV does run the simulator for some few cranks during the initialization step when you issue the "run" TCL command. But the "prove" command works on a mathematical model of the design.