Minimizing logic by resolving "don't care" output values in a fi

Computer-aided design and analysis of circuits and semiconductor – Nanotechnology related integrated circuit design

Patent

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

716 15, 716 18, G06F 1900

Patent

active

060744286

ABSTRACT:
Logic which implements an output encoded finite state machine is reduced by resolving "don't care" output values. Specifically, in order to generate logic for a finite state machine, input is received from a user. The input specifies states of the finite state machine, transition conditions between states and output values for each state. For example, a graphical user interface receives from the user a graphic portrayal of a state diagram. At least one output value is unspecified for at least one state. Logic for a finite state machine is generated from the user inputs. The generation includes, for each output of the finite state machine, generating an output flip-flop which stores the output. 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 of additional flip-flops. For example, the assignment is done by determining a number of times output values between two states are identical for every combination of values for the unspecified output values. The combination of values which results in a minimum number of times output values between two states are identical is the combination of values assigned to the unspecified output values.

REFERENCES:
patent: 4727548 (1988-02-01), Dickey
patent: 4752928 (1988-06-01), Chapman et al.
patent: 4755967 (1988-07-01), Gabris et al.
patent: 4862347 (1989-08-01), Rudy
patent: 5063536 (1991-11-01), Tinder et al.
patent: 5097151 (1992-03-01), Erenstein et al.
patent: 5126966 (1992-06-01), Hafeman et al.
patent: 5228040 (1993-07-01), Agrawal et al.
patent: 5329471 (1994-07-01), Swoboda et al.
patent: 5361389 (1994-11-01), Fitch
patent: 5389838 (1995-02-01), Orengo
patent: 5408622 (1995-04-01), Fitch
patent: 5448717 (1995-09-01), Balmer et al.
patent: 5450598 (1995-09-01), Kaplan et al.
patent: 5452215 (1995-09-01), Washabaugh
patent: 5459462 (1995-10-01), Vankidu et al.
patent: 5461573 (1995-10-01), Chakradhar et al.
patent: 5463543 (1995-10-01), Wagner
patent: 5517432 (1996-05-01), Chandra et al.
patent: 5542034 (1996-07-01), Petler
patent: 5555201 (1996-09-01), Dangelo et al.
Steve Golson, State Machine Design Techniques for Verilog and VHDL, Synopsys Journal of High-Level Design, Sep. 1994, pp. 1-44.

LandOfFree

Say what you really think

Search LandOfFree.com for the USA inventors and patents. Rate them and share your experience with other people.

Rating

Minimizing logic by resolving "don't care" output values in a fi does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Minimizing logic by resolving "don't care" output values in a fi, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Minimizing logic by resolving "don't care" output values in a fi will most certainly appreciate the feedback.

Rate now

     

Profile ID: LFUS-PAI-O-2065015

  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.