corrected IRQ timing, set up top-level-TB