In an arbitration circuit, transactions output from a plurality of master circuits are stored in a first-in-first-out type first buffer, and when a high-priority transaction higher in priority than one of the stored transactions is output from one of the plural master circuits, a cancel request of a low-priority transaction lower in priority than the high-priority transaction, out of the stored transactions, is output to a second buffer in a slave circuit, and when the cancel request is successful, the high-priority transaction is output to the slave circuit, and after the high-priority transaction is output to the slave circuit, the low-priority transaction whose cancel request is successful is output to the slave circuit.