They're completely unavoidable short of having all of the world's entire computing power with which to do formal verification (and even then, there's no guarantee).

I've even seen, when developing standard cell libraries for a new fabrication process, bugs that occur because of unforeseen interactions between different semiconductor doping concentrations that occur when (due to pure statistics in fabrication) they overlap in the wrong way.