Boots – shoes – and leggings
Patent
1993-03-03
1997-08-19
Pan, Daniel H.
Boots, shoes, and leggings
364578, 364DIG1, 364DIG2, 364489, 395527, 395500, 371 221, G06F 9455
Patent
active
056597754
ABSTRACT:
A computer implemented method for determining whether a first (S/R-Latch) description of a state element that is implemented as a set of interconnected electrical devices can be replaced by a second (D-Latch) description of the state element. The method includes the steps of providing a representation of the S/R-Latch description to the computer, causing the computer to apply to the representation a set of rules that define a relationship between the S/R-Latch description and the D-Latch description and that are independent of a topology of the set of interconnected devices, and causing the computer to replace the S/R-Latch description with the D-Latch description of the state element if the representation satisfies the rules.
REFERENCES:
patent: 4703435 (1987-10-01), Darringer et al.
patent: 4954953 (1990-09-01), Bush
patent: 5212650 (1993-05-01), Hooper et al.
patent: 5243538 (1993-09-01), Okuzawa et al.
"An Introduction to Computer Logic", H. Troy Nagle, Jr. et al., 1975, N.J., Prentice-Hall Inc., pp.217-242.
"Logic Design Principles", Edward J. McCluskey, Prentice-Hall, 1986, NJ pp. 275-281, 308,309.
Barzilai et al., "SLS-A Fast Switch Level Simulator For Verification and Fault Coverage Analysis", IEEE (1986), Paper 9.2, pp. 164-169.
Bryant, "Extraction of Gate Level Models from Transistor Circuits by Four-Valued Symbolic Analysis", IEEE (1991), pp. 350-353.
Bryant, "Algorithmic Aspects of Symbolic Switch Network Analysis", IEEE Transactions on Computer-Aided Design, vol. CAD-6, No. 4, Jul. 1987, pp. 618-633.
W.V. Quine, "The Problem of Simplifying Truth Functions", Am. Math Monthly, vol. 59, No 8 (Oct. 1952) 521-31.
E.J. McCluskey, "Minimization of Bloolean Functions," Bell System Tech Journal, vol. 35, No. 6 (Nov. 1956) 1417-1444 p2. Jan. 23, 1997.
Grundmann William
Stein Alexander
Dagg David A.
Digital Equipment Corporation
Fisher Arthur W.
Pan Daniel H.
Ross Gary E.
LandOfFree
Topology indpendent system for state element conversion does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Topology indpendent system for state element conversion, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Topology indpendent system for state element conversion will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-1113283