Hardware verification programming description generation equipment, hardware verification programming description generation method, and control program

摘要

PROBLEM TO BE SOLVED: To provide a programming description generation device for hardware verification for generating an operation model to be accurately verified with cycle precision regardless of the sequence of the calculation of calculation formula showing the operation of a function block as descriptions with which hardware is expressed in general-purpose programming language.;SOLUTION: The programming description generation device includes: a means 410 for generating calculation formula expressing the operation of the hardware of a state including a communicating operation by dividing it into two calculation formulas, that is, calculation formula to a transmitting operation and calculation formula from a receiving operation by using the communicating operation as a reference, and configured to calculate calculation formula expressing the circuit operation of each state of a function block in two stages, that is, a stage until transmission is performed and a stage until reception is performed.;COPYRIGHT: (C)2011,JPO&INPIT