首页>
外国专利>
Recording medium that records the verification scenario creation program, the program, verification scenario creating device, and how to create verification scenarios
Recording medium that records the verification scenario creation program, the program, verification scenario creating device, and how to create verification scenarios
展开▼
机译:记录验证方案创建程序的记录介质,该程序,验证方案创建设备以及如何创建验证方案
展开▼
页面导航
摘要
著录项
相似文献
摘要
Hardware blocks respectively of an arbitrary access origin and an arbitrary access destination that are mutually accessible are extracted from among a plurality of hardware blocks constituting a 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.
展开▼