Patent ID: 6192505
Filing Date: 2001-02-20
Classification: G06F

Abstract:
A computer-implemented method for systematically eliminating redundant circuit elements in a state machine of a model having sequential circuit elements possessing one of a fixed number of possible state thereby reducing model complexity and rendering the state machine of the model solvable by a computer in a short calculation time than would be possible for the state machine including the redundant circuit elements, said method comprising the steps of:(a) sorting the sequential circuit elements into groups having an initial state which is determinate i.e. equal to a known one of said fixed number of possible states or which is indeterminate,(b) storing the state of each circuit element whose is determinate,(c) for each circuit element whose state is determinate, calculating its next state,(d) moving each circuit element in (c) whose next state is different to the state thereof stored in (b) to the group of indeterminate circuit elements,(e) repeating steps (b) to (d) in respect of all remaining determinate circuit elements until no further circuit elements are moved in step (d),(f) replacing each of the remaining determinate circuit elements by a constant equal to its corresponding state, and(g) eliminating any circuit elements whose respective output is connected to one or more of the circuit elements replaced in (f) and to no other circuit elements.