Berspekulasi hasil verifikasi dalam decoding spekulatif, memungkinkan penyusun dan pemverifikasi asinkron. (*Diberikan perangkat keras khusus untuk Drafter.)