Rule structure in a procedure for synthesis of logic circuits

Details Rule structure in a procedure for synthesis of logic circuits Rule structure in a procedure for synthesis of logic circuits

1991-05-21

1992-12-29

Trans, Vincent N.

Boots, shoes, and leggings

364488, 395 54, 395921, G06F 1560

Patent

active

051756960

ABSTRACT:
In a procedure for the synthesis of logic circuits in which the components of the logic circuits are replaced by model instances related to data files stored in the procedure data base, a rule structure is described that permits the synthesis of the logic circuit by testing the model instances through a process included in a first or antecedent portion of the rule, and in the event that the conditions of the rule are fulfilled, then the consequence portion of the rule is executed. The consequence portion of the rule can include the replacement of one or more model instances of the logic circuit with one or more different model instances while retaining the functional or logical equivalence between the instances before and after the application of the rule. The rule includes a field that permits automatic prioritization a plurality of rules. The rules are written in a format that is similar to normal grammatical construction and, therefore, easily learned.

REFERENCES:
patent: T935003 (1975-06-01), Linville et al.
patent: 4377849 (1983-03-01), Finger et al.
patent: 4386403 (1983-05-01), Hsieh et al.
patent: 4510616 (1985-04-01), Lougheed et al.
patent: 4554631 (1985-11-01), Reddington
patent: 4584653 (1986-04-01), Chih et al.
patent: 4613940 (1986-09-01), Shenton et al.
patent: 4700317 (1987-10-01), Watanabe et al.
patent: 4703435 (1987-10-01), Darringer et al.
"Logic Synthesis Through Local Transformations", Darringer et al. IBM Journal, vol. 25, No. 4, Jul. 1981, pp. 272-280.
D. L. Dietmeyer, "Logic Design of Digital Systems", Allynt Bacon, Boston 1978, pp. 156-238.
"Quality of Designs from an Automatic Logic Generator (ALERT)", Friedman et al., 7th DA Conference 1970, pp. 71-89.
"LORES--Logic Reorganization System", Nakamura et al., 15th DA Conference 1978, pp. 250-260.
"A New Look at Logic Synthesis", Darringer et al., 17th DA Conference 1980, pp. 543-549.
"Methods Used in an Automatic Logic Design Generator (ALERT)", Friedman et al., IEEE--Computer, vol. C-18, No. 7, Jul. 1969, pp. 593-610.
Daniel et al., "CAD Systems for IC Design", IEEE Computer-Aided Design of Integrated Circuits and Systems, vol. CAD-1, No. 1, Jan. 1982, pp. 2-11.
Trimberger, "Automating Chip Layout", IEEE Spectrum, vol. 19, No. 6, Jun. 1982, pp. 38-45.
Franco et al., "The Cell Design System", IEEE 18th Design Automation Conference, paper 12.4, 1981, pp. 240-247.
Kessler et al., "Standard Cell VLSI Design: A Tutorial", IEEE Circuit and Devices Magazine; Jan. 1985, pp. 17-34.
F. Hayes-Roth, "Rule-based Systems," Communications of the ACM, vol. 28, No. 9, pp. 921-932 (Sep., 1985).
D. Rine, "Some Applications of Multi-Valued Logic Architecture Design to Expert Systems," Proceedings of the First International Conference on Supercomputing Systems, St. Petersburg, FL, pp. 229-237 (Dec. 16-20, 1985).
H. Brown et al., "Palladio: An Exploratory Environment for Circuit Design," Computer, vol. 16, No. 12, pp. 41-56 (Dec., 1983).
T. Uehara, "A Knowledge-Based Logic Design System," IEEE Design & Test of Computers, vol. 2, No. 5, pp. 27-34 (Oct., 1985).
A. de Geus et al., "A Rule-Based System for Optimizing Combinational Logic," IEEE Design & Test of Computers, vol. 2, No. 4, pp. 22-31 (Aug., 1985).
C. L. Forgy, "OPS5 User's Manual," Carnegie-Mellon University (Jul., 1981).
Randy H. Katz, `Managing the Chip Design Database`, IEEE Computer, vol. 16, No. 12, Dec., 1983, pp. 26-35.

Affiliated with

Also associated with

Rating

Rule structure in a procedure for synthesis of logic circuits does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Rule structure in a procedure for synthesis of logic circuits, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Rule structure in a procedure for synthesis of logic circuits will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-1892415