Patent ID: 7797653

Claim:
A circuit division apparatus that produces program data for a plurality of programmable devices to simulate function operation of a circuit to be verified with the plurality of programmable devices, the circuit division apparatus being supplied with an input file in which contents of the circuit to be verified are described, the circuit division apparatus comprising a computer system including: a circuit analysis part that is operable to analyze the input file to acquire circuit information; a display part that displays, from signals which exist in the circuit to be verified, a first signal to be given at the same time to a plurality of storage elements included in the circuit to be verified; an input part that inputs the first signal; a division determination part that, when the circuit to be verified is divided into a plurality of partial circuits, determines programmable devices for simulating the plurality of partial circuits in accordance with the circuit information acquired with the circuit analysis part; and a division process part that produces program data for each of the programmable devices, the division process part dividing the circuit to be verified into the plurality of partial circuits in accordance with determination results of the division determination part and the circuit information acquired with the circuit analysis part, the division process part further setting connection destination for input terminals of the plurality of storage elements to which the first signal input by the input part is inputted to input terminals supplied with the first signal in the programmable devices simulating the functional operation of the plurality of storage devices, wherein the division process part, when producing the program data for each of the programmable devices having the input terminal supplied with the first signal, divides the circuit to be verified into the plurality of partial circuits in accordance with determination results of the division determination part and the circuit information acquired with the circuit analysis part, the division process part then implements shift correction circuits connected to the input terminals of the plurality of programmable devices to the plurality of programmable devices, and the division process part further sets the connection destination for the input terminals of the plurality of storage elements to which the first signal is supplied to output terminals of the shift correction circuits, which is implemented by the programmable devices simulating the functional operation of the plurality of storage elements.