That’s all well and good — but are they going to formally verify the chip-designs for future processors?
It seems to me that having your processor mathematically proven correct would be a good thing.
There is no law that says computers need to have the same hardware. I guess it’d be okay for computers to have totally different technology through and through.