VERIFICATION-SCENARIO GENERATING PROGRAM, RECORDING MEDIUM RECORDING THE PROGRAM, VERIFICATION-SCENARIO GENERATING APPARATUS, AND VERIFICATION-SCENARIO GENERATING METHOD

摘要

PROBLEM TO BE SOLVED: To efficiently and comprehensively form a verification scenario which is needed to verify a bus system.;SOLUTION: Hardware blocks respectively of an optional access origin and an optional access destination that are mutually accessible are extracted from among a plurality of hardware blocks constituting the bus system to be verified, and a path reaching from the access-origin hardware block to the access-destination hardware block is searched for. For each path found, a verification scenario is generated to verify transactions of the access-origin hardware block for a case where access to an address range assigned to the access-destination hardware block occurs, and the verification scenario is output being correlated with the path that corresponds thereto.;COPYRIGHT: (C)2009,JPO&INPIT