Patent ID: 8364448

Claim:
A non-transitory computer-readable recording medium storing a program for causing a computer to perform a process, the process comprising: causing a circuit simulator to perform a circuit simulation using (i) circuit data stored in a circuit data storage unit, the circuit data containing modules to be modeled and a circuit for making a change to a clock to be inputted into each module and (ii) clock setting data stored in a clock setting data storage unit, the clock setting data being intended to, at a predetermined timing, make a change to the clock to be inputted into each module, the simulation being performed under a state where a clock to be inputted to at least one module of the modules is changed from an original operation clock for the at least one module based on the clock setting data, and storing a result of the circuit simulation in a simulation result data storage unit; and generating a hidden Markov model related to input and output signals of each module from values and times of the signals in accordance with a predetermined algorithm, the values and times being contained in the circuit simulation result stored in the simulation result data storage unit, and storing data about the hidden Markov model in a hidden Markov model data storage unit.