AUTOMATIC GENERATION DEVICE AND AUTOMATIC GENERATION PROGRAM OF INSPECTION DEVICE FOR HARDWARE DESIGN DESCRIPTION

摘要

PROBLEM TO BE SOLVED: To automatically generate an inspection device for logic verification of a hardware specification description for executing a plurality of transactions in parallel without manual operation.;SOLUTION: This automatic generation device and automatic generation program is for an inspection device for the hardware design description 102 for executing a plurality of transactions in parallel. An aggregation 14 of transaction identifiers, a rule 15 for reading an observation value series constituting each packet and identifier information included in the observation value series, and a packet series 16 constituting each transaction are preliminarily regulated and defined as a specification description 12. The inspection device 13 is automatically generated based on this specification description.;COPYRIGHT: (C)2004,JPO