Cadence Delivers Verification Throughput