Verification is too often approached in an ad hoc fashion. Visually inspecting simulation results is no longer feasible and the …