摘要 |
<P>PROBLEM TO BE SOLVED: To provide a system, a device and a method of verification for quickly verifying the agreement between the result of cycle precision level simulation and the result of RTL simulation. Ž<P>SOLUTION: A cycle precision level simulation control part 220 obtains a cycle precision level simulation model, a cycle precision level test pattern, and an RTL description to make a cycle precision level simulation executing part 210 execute the cycle precision level simulation. The results and the internal state are read out at each verification period to memorize on a memorizing device 300 separately. Hereafter, the memorized internal state is set as an initial value, and an RTL simulation executing part 250 executes RTL simulation in parallel at each verification period using a test pattern generated at each verification period. An expectation value collating part 270 collates the cycle precision level simulation result as an expectation value with the result of the RTL simulation. Ž<P>COPYRIGHT: (C)2010,JPO&INPIT Ž
|