Simulation-based hardware verification with time-abstract modelsстатья