Speculative instruction validation for performance-reliability trade-off