simplified_interrupt_controller_tb