Software that harness capabilities to uncover more design bugs faster, resulting in a higher quality design using fewer resources and in less time