| 摘要 |
<P>PROBLEM TO BE SOLVED: To provide a debugging device of a reconfigurable logic device which can detect failure due to non-constant value propagation. Ž<P>SOLUTION: The debugging device includes: an area detecting part 214 for detecting an unaccessed area by speculation execution of a memory access in an unused area of a memory block that is not used by a design circuit; an initial value setting part 215 for generating an initial value for the detected unaccessed area; an unused area configuration information generating part 219 for generating configuration information of the unused area in which an initial value is described from the set initial value; a configuration information connecting part 216 for combining the configuration information of the logic device and configuration information of the unused area to generate configuration information for verification; a device testing part 217 for reading the generated configuration information for verification to the logic device, operating the logic device and outputting an execution result; and an output result determining part 218 for comparing the execution result with an execution expected value so as to find whether they are coincident with each other. Ž<P>COPYRIGHT: (C)2010,JPO&INPIT Ž
|
