| 摘要 |
<P>PROBLEM TO BE SOLVED: To provide a verification system for verifying at a high speed that a result of operation level simulation coincides with a result of an RTL simulation. Ž<P>SOLUTION: An operation level simulation control part 220 acquires an operation level simulation model, an operation level test pattern and an RTL description through a data input device 100, and makes an operation level simulation executing part 210 execute operation level simulation. Then, it reads a result of the operation level simulation and an internal state in each optional verification period and separately stores them in a storage device 300. Next, an RTL simulation executing part 250 uses a test pattern generated so as to be used in each verification period with the internal state separately stored similarly in each verification period as an initial value executes RTL simulation in each verification period in parallel. An expected value collating part 270 collates the result of the RTL simulation with an expected value with a simulation result of the operation level as the expected value. Ž<P>COPYRIGHT: (C)2010,JPO&INPIT Ž
|
