Abstract:
The present invention relates to a method for verifying the operation of a reconfigurable processor by executing a random test program generated by using test technology information and architecture technology information of the reconfigurable processor in a simulator and the reconfigurable processor and mutually comparing the types of the execution result values. [Reference numerals] (210) Generate test technology information and architecture technology information; (230) Generate a test program by using the test technology information and architecture technology information; (250) Execute a text program in a reconfigurable processor and a simulator; (270) Track the shape of a value stored in the simulator and the register of the processor and an output value of a plain line unit; (290) Verify the operation of the processor by comparing the tracking results; (AA) Start; (BB) End