Patent ID: 8074192

Claim:
A non-transitory computer-readable recording medium storing therein a verification support program that causes a computer to execute: receiving input of design data concerning a system under design having a multiplex module that is a plurality of modules of an identical category and type operating in parallel; substituting, based on the design data, a multiplexed circuit for a plurality of sequential circuits in the modules, the multiplexed circuit being formed by a group of sequential circuit elements that are common among the sequential circuits and are multiplexed; creating a control circuit that time-division operates the group of common sequential circuit elements multiplexed by substitution of the sequential circuits at the substituting; building, based on the design data, a single module that includes one combinational circuit selected from among a plurality of combinational circuits of the modules, the multiplexed circuit, and the control circuit; generating information correlating timing of time-division operation of the group of sequential circuit elements with the modules having the sequential circuit elements operated at respective timings; and outputting the information generated at the generating and design data of the system inclusive of the single module.