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