Use SVA Assertion