Appeal No. 1997-4115 Page 4
Application No. 08/325,765
The invention receives an output encoded FSM from a user.
The output encoded FSM specifies states, transition conditions
between the states, and output values for each state. At
least one output value is unspecified for at least one state,
i.e., the user indicates that the output value is a don't
care.
Based on the output encoded FSM, the invention generates
logic. For each output of the FSM, an output flip-flop that
stores the output values is generated. Values are assigned to
unspecified output values. The assigned values are selected
so that each state can be uniquely identified by current
values stored by the output flip-flops and a minimum number of
additional flip-flops. The assignment is done by determining
a number of times that output values between two states are
identical for every combination of values for the unspecified
output values. The combination of values which results in the
fewest number of times output values between two states are
identical is the combination of values assigned to the
unspecified output values.
Page: Previous 1 2 3 4 5 6 7 8 9 10 11 12 13 14 Next
Last modified: November 3, 2007