Patent ID: 7028146

Claim:
A method of verifying a system in which a plurality of master devices share a storage region, said method comprising the steps of: setting, when starting verification, an initial value of data stored in each address of each storage device and whether or not data can be written in the address in correspondence with the address, in a scoreboard common to all master devices; updating, when each master device performs write access to an address of a storage device, data corresponding to the address in the scoreboard with written data if the address is set in a write-enable state in the scoreboard; refraining from updating, when each master device performs write access to an address of a storage device, data corresponding to the address in the scoreboard if the address is set in a write-prohibit state in the scoreboard; and comparing, when each master device performs read access to an address of a storage device, data read out of the storage device with data corresponding to the address in the scoreboard.