Hardware people are not the pinnacle of engineering correctness — that would go to people who do formal verification. Unfortunately not even mathematicians think the price is right.