Over the past decade hardware complexity, and competitive pressure, has drastically increased. At the same time verification methodologies and tools have failed to keep pace. This can even be seen in the steady increase of errata in Intel’s architecture manuals, and they are hardly alone in that respect.