| 摘要 |
PROBLEM TO BE SOLVED: To verify whether or not the behavior of a data processing system complies with a requested specification by expressing the function of the data processing system on a computer based on a calculation model, and providing the calculation model of the level of abstraction, that is a UT level, with a time concept in the case of developing the data processing system such as an LSI. SOLUTION: This device 1 comprises: a test vector part 10 which provides a test vector having start time information, verification data column and an end sign; a first functional block model part 24 and a second functional block model part 27 which have a calculation model for describing the data processing system to process it according to the model; a first scheduled model part 23 and a second scheduled model part 26 which input the test vector applied from the test vector part 10 and manage the operation start time of the first functional block model part 24 and the second functional block model part 27 by referring to the start time included in the test vector; and a scheduler model part 21 which manages the scheduled model parts 23 and 26. COPYRIGHT: (C)2005,JPO&NCIPI
|
