Hi,
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.