Method of verifying a system in which a plurality of master devices share a storage region
AssigneeCanon Kabushiki Kaisha
InventorDaisuke Kuroki
Life of this patent
Estimating the term…
Abstract
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.
Claims5
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 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;
- 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.
Dependencies are inferred from the claim text.