Где-то была инфа, что в скорости честного исполнения кода процессоры не прогрессируют уже лет десять (не считая новых мега-инструкций типа CCСделатьXXXХорошоТри), а всё остальное развитие это результат предсказаний, магии, и, последнее время, нейросетей. Какая уж тут верификация...