# Pastebin 83k2emuf
core_irq = Signal() # IRQ from your Core.
cpu_irq  = Signal() # IRQ you connect to the CPU.
self.sync += cpu_irq.eq(~cpu_irq & core_irq)