Boots – shoes – and leggings
Patent
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.
Trans Vincent N.
VLSI Technology Inc.
LandOfFree
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.
Profile ID: LFUS-PAI-O-1866859