For the assertion based verification that we are doing, SVA is used. I heard it can be used for Formal property checking as well. If possible, please help me on this.