Boots – shoes – and leggings
Patent
1991-06-18
1994-07-19
Trans, Vincent N.
Boots, shoes, and leggings
364488, G06F 1560
Patent
active
053315685
ABSTRACT:
A method for determining sequential hardware equivalence between two designs and whether one design can replace another design is disclosed whereby the designs are compared utilizing OBDD representations of the designs. The set of states in each of the designs that are equivalent to each other, equivalent-state-pairs, is first determined and it is then determined whether there exists a sequence of inputs that can take all states pairs to the equivalent-state-pair set. This results in a declaration of equivalence in the two designs. An essential reset sequence is then determined, which is then represented by the sequence of inputs to move the designs to a reset state. This, therefore, gives an essential reset sequence for the design and also gives the essential reset states for the design. The essential reset states of the design can then be compared to all states of the designs and, if they are equal, the design is replaceable.
REFERENCES:
patent: 4942536 (1990-07-01), Watanabe et al.
patent: 5065335 (1991-11-01), Yokota et al.
patent: 5067091 (1991-11-01), Nakagawa
patent: 5164908 (1992-11-01), Igarashi
"Drafting of Logical Circuit Diagram by Utilizing Signal Probability" by Nagai et al., 31st National Conference (Second Half of 1985) of the Information Processing Society of Japan, pp. 1557-1558.
"Binary Decision Diagrams" by S. B. Akers, IEEE Transactions on Computers, vol. C-27, No. 6, Jun. 1978, pp. 509-516.
Microelectronics & Computer Technology Corporation
Trans Vincent N.
LandOfFree
Apparatus and method for determining sequential hardware equival does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Apparatus and method for determining sequential hardware equival, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Apparatus and method for determining sequential hardware equival will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-525333