Logic simulator

摘要

There is disclosed a logic simulator wherein a logical action analyzer (2) receives a net list (4) and macro cell data (5) and performs logical action analysis on a circuit to be simulated for each macro cell on the basis of signal changes given from signal detection information of a signal change detector (1) such that, if a macro cell accepts an input signal of an indefinite value (X), the indefinite value (X) is replaced with a propagation logical expression based on the input signal of its immediately preceding macro cell for logical operation, whereby the logic simulator is enabled to perform logic simulation without reduction in degree of integration and efficiency of the logic circuit to be practically fabricated after logic simulation.