For our software friends wondering what’s so special about processors: they are the most parallel state machines designs out there. Most other state machines have fairly well defined and narrow inputs and outputs. For performance reasons, a cpu pipeline is the biggest collection of state machines interacting with each other directly.

Therefore most formal methods blow up on cpu designs and random coverage is really hard to define and even harder to reach.