Synopsys Formal Verification Tool