In logical verification of a system in which a plurality of master devices share a storage region, a scoreboard common to all master devices is provided. When starting verification, an initial value of data stored in each address of each storage device is set in correspondence with the address in the scoreboard. When each master device performs write access to an address of a storage device, data corresponding to the address in the scoreboard is updated with written data. When each master device performs read access to an address of a storage device, data read out of the storage device is compared with data corresponding to the address in the scoreboard. Thus, the storage devices and the controller are verified.