Design verification, e.g. functional simulation or model checking using formal methods, e.g. equivalence checking or property checking