Die Spekulation über das Verifizierungsergebnis in der spekulativen Dekodierung ermöglicht einen asynchronen Entwurf und Verifizierung. (*vorausgesetzt, es steht dedizierte Hardware für den Entwurf zur Verfügung.)