formal verification, Functional Verification, Grouping, Localization, model checking, multi-property, partitioning.
