Debugging of hardware components based on verification_core_codix simulation.