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.