摘要 |
PROBLEM TO BE SOLVED: To solve the problem that it is difficult to create trace description for acquiring transition history of a signal in hardware description corresponding to a variable and an equation in operation description when dynamic verification for determining that a signal in the hardware description generated by a high-level synthesizer correctly operates is performed when the transition history of the variables and the equations in the operation description is compared with the transition history of the signals in the hardware description and when they coincide with each other. SOLUTION: Trace description 23 for hardware description in order to acquire the transition history of a signal in the hardware description corresponding to a trace object in the operation description 21 is generated by specifying the signal in the hardware description corresponding to the variable and the equation in the operation description 21. COPYRIGHT: (C)2007,JPO&INPIT
|