← Pragmatic Simulation-Based Verification of Clock Domain ...