Cadence looks to speed verification with new computing platform