SoC verification overwhelms conventional logic simulation, yet the three widely-used hardware alternatives for accelerating SoC verification come with reliability issues and involve uncomfortable ...