Method of extracting implicit sequential behavior from hardware

Details Method of extracting implicit sequential behavior from hardware Method of extracting implicit sequential behavior from hardware

1995-09-18

1998-06-30

Trans, Vincent N.

Boots, shoes, and leggings

364488, G06F 1750

Patent

active

057743703

ABSTRACT:
The method implements implicit sequential behavior using a general finite state machine architecture (FSM) through the systematic evaluation of control flow graphs (CFGs) having one or more weight statements which are sensitive to the same unique clock edge. Each of the weight statements contained in the CFG are assigned a state in the state machine. All of the executable paths between each weight statement are fully evaluated on a node-by-node basis. From this evaluation process, expressions are extracted which define combinational logic necessary to produce additional inputs to the FSM to produce the next state, as well as expressions representing outputs of the FSM as associated with each transition from one state to another. The method also deals with proper evaluation of unrollable loops.

REFERENCES:
patent: 5331568 (1994-07-01), Pixley
patent: 5416719 (1995-05-01), Pribetich
patent: 5491640 (1996-02-01), Sharma et al.
patent: 5517432 (1996-05-01), Chandra et al.
patent: 5519627 (1996-05-01), Mahmood et al.
patent: 5537580 (1996-07-01), Giomi et al.
patent: 5581781 (1996-12-01), Gregory et al.
patent: 5594656 (1997-01-01), Tamisier
Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications by E.M. Clarke et al, ACM Trans on Prog. Lang. and Sys., V. 8, No. 2, Apr. 1986, pp. 244-263.
"Symbolic Boolean Manipulation with Ordered Binary-Decision Diagrams" by R.E. Bryant, ACM Computing Surveys, V. 24, No. 3, Sep. 1992, pp. 293-318.
"Graph-Based Algorithms for Boolean Function Manipulation" by R.E. Bryant, IEEE Trans. on Computers, V. C-35, No. 8, Aug. 1986, pp. 677-691.

Affiliated with

Also associated with

Rating

Method of extracting implicit sequential behavior from hardware does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Method of extracting implicit sequential behavior from hardware , we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method of extracting implicit sequential behavior from hardware will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-1866859