摘要 |
PROBLEM TO BE SOLVED: To efficiently and automatically generate an input string by decreasing the number of states through operation being one of instruction when state transitions of plural instructions are equal to each other after a certain stage even in the case of increasing the number of instructions and the number of units. SOLUTION: A storage device 2 such as a magnetic disk device has a model specification description storage part 3 for storing a model specification description prepared by a model specification description preparing part 1. When the state transitions of plural instructions are equal to each other after a certain stage in the case of describing the operating model of a certification program for logic simulation while adopting automatic generation technology based on the preparation of the operating model of a certification object mechanism and state transition analysis at a clock level, at the model specification description preparing part 1, the description for operation being one of instruction is performed. Thus, the number of states is decreased and the model is automatically generated with a little memory capacity. According to the model specification description prepared by the model specification description preparing part 1, a model preparation system 4 generates a test instruction string 5 as a model for test. |