G06F 30/3323

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