State machine recognition and optimization

Details State machine recognition and optimization State machine recognition and optimization

2005-09-07

2008-10-21

Dinh, Paul (Department: 2825)

Computer-aided design and analysis of circuits and semiconductor

Nanotechnology related integrated circuit design

C716S030000, C716S030000, C716S030000

Reexamination Certificate

active

07441212

ABSTRACT:
State machines are identified from a netlist of circuit elements of a user design. Strongly connected components in the netlist are identified as candidates for analysis. The registers of each strongly connected component are identified. An optimal set of inputs and potential state transition logic is identified for the registers in the component. A set of reachable states from an initial state of the registers of a component is determined by simulating state transitions in response to permutations of input values. State machine information is created to assist compilation software in optimizing the user design. Optimizations can include identifying redundant circuit elements based on the set of reachable states and reencoding the state machine with a different state encoding scheme to reduce the amount of state transition and output logic. A subset of the set of reachable states representing a one-hot encoded state machine may be further isolated and optimized.

REFERENCES:
patent: 6016526 (2000-01-01), Arimilli et al.
patent: 6735743 (2004-05-01), McElvain
patent: 6958625 (2005-10-01), Ramsden
patent: 2002/0023256 (2002-02-01), Seawright
patent: 2005/0268070 (2005-12-01), Baxter

Affiliated with

Also associated with

Rating

State machine recognition and optimization does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with State machine recognition and optimization, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and State machine recognition and optimization will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-4014848