Abstract: One of the key limiters to any verification effort is simulation speed. To be fair, digital RTL and gate-level simulators have a lot of work to do: they track signal transitions, (on ...