Abstract: The present invention discloses a digital integrated circuit simulation method and simulator. The method comprises: obtaining a circuit diagram of the digital integrated circuit and a checkpoint in the circuit diagram; determining a point relevant to a boundary between a two-value simulation and a multi-value simulation in the circuit diagram and a state of the relevant point according to the checkpoint; determining a boundary position, as well as a boundary type of the boundary position, of the boundary between the two-value simulation and the multi-value simulation in the circuit diagram according to the relevant point and the state of the relevant point; inserting a conversion circuit at the boundary position according to the boundary type of the boundary position; and modeling and simulating the circuit diagram into which the conversion circuit is inserted. The method and simulator can reduce simulation time and the needed storage resources.

Abstract: The present invention discloses a method and device for simulating a circuit design. The method includes identifying at least one Sequential-cell-To-Sequential-cell (S2S) block in the circuit design, wherein the S2S block includes at least one input sequential cell, at least one output sequential cell, and an intermediate portion between the input sequential cell and the output sequential cell, wherein the intermediate portion includes at least one combinational cell; determining logic characteristics and timing characteristics of the intermediate portion; and replacing the intermediate portion with a functional module having the logic characteristics and the timing characteristics to generate a simplified circuit design to be used in simulation. With the technical solution according to embodiments of the invention, time needed in simulation is shortened.

Abstract: The present invention discloses a digital integrated circuit simulation method and simulator. The method comprises: obtaining a circuit diagram of the digital integrated circuit and a checkpoint in the circuit diagram; determining a point relevant to a boundary between a two-value simulation and a multi-value simulation in the circuit diagram and a state of the relevant point according to the checkpoint; determining a boundary position, as well as a boundary type of the boundary position, of the boundary between the two-value simulation and the multi-value simulation in the circuit diagram according to the relevant point and the state of the relevant point; inserting a conversion circuit at the boundary position according to the boundary type of the boundary position; and modeling and simulating the circuit diagram into which the conversion circuit is inserted. The method and simulator can reduce simulation time and the needed storage resources.