To increase efficiency and improve quality in testing a logic circuit by software program and also facilitate development of software and hardware in cooperation.

Verification of a logic circuit including software (henceforth called as device software) for controlling a logic circuit block is constituted to have; a process which specifies a plurality of pieces of device software and obtains functions in these programs; a process which calls these functions at random and executes them; a process which acquires arguments acquired from the device software which controls the block in the logic circuit to be a verification object and passed to a called function; and a process which creates a device soft function database constituted by information of the function and the arguments acquired in above processes.