Given the number of inputs, instructions, and optimizations that go into modern processors, the combinatorial explosion makes it nigh impossible to validate aga

Given the number of inputs, instructions, and optimizations that go into modern processors, the combinatorial explosion makes it nigh impossible to validate against a spec. To me it's more surprising that it all works as well as it does.