Added model of the BERI PIC (Programmable Interrupt Controller)