Rule structure for insertion of new elements in a circuit design

Details Rule structure for insertion of new elements in a circuit design Rule structure for insertion of new elements in a circuit design

1991-05-21

1995-09-19

Trans, Vincent N.

Boots, shoes, and leggings

364488, G06F 1750

Patent

active

054522269

ABSTRACT:
In the synthesis procedure for circuit design, a convenient notation is used for the insertion of new instances in the consequence portion of a rule having a antecedent form and a consequence portion. The notation is of the form

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: 4441207 (1984-04-01), Lougheed et al.
patent: 4584653 (1986-04-01), Chih et al.
patent: 4613940 (1986-09-01), Stenton et al.
patent: 4635208 (1987-01-01), Coleby et al.
patent: 4651284 (1987-03-01), Watanabe et al.
patent: 4700317 (1987-10-01), Watanabe et al.
patent: 4706187 (1987-11-01), Arai et al.
"A Design Verification and Logic Validation System" by W. A. Noon, IEEE Design Automation Conference, 1977, pp. 362-368.
"Autodraft: Automatic Synthesis of Circuit Schematics" by Majewski et al., IEEE International Conf. on Computer-Aided Design, 1986, pp. 435-438.
"An Expert System for the Generation of Schematics" by Ahlstrom et al., IEEE ICCD, 1984, pp. 720-725.
"The ADAM Advanced Design Automation System: Overview, Planner and Natural Language Interface" by Granacki et al., 22nd ACM/IEEE Design Automation Conf., 1985, pp. 727-730.
"RCAD--A Rule-Based System for CAD" by N. Anand, Computing Technology, TI Technical Journal, May-Jun. 1990, pp. 16-25.
"Kinden: Knowledge-based Intelligent VLSI Design Environment" by Hekmatpour et al; Proc. 5th Annual AI System in Gov'5 Conf., May 1990, pp. 96-103.
"Databases and Cell-Selection Algorithms for VLSI Cell Libraries" by S. Y. Foo, IEEE--Computer, 1990, pp. 18-29.
"VHDL in an Object Oriented VLSI Design Environment" by Cheng et al., 33rd IEEE Computers Society Intl. Conf., Feb.-Mar. 1988, pp. 324-327.
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.
T. Uehara, "A Knowledge-Based Logic Design," IEEE Design & Test of Computers, vol. 2, No. 5, pp. 27-34 (Oct. 1985).
K. Lieberherr, "Toward a Standard Hardware Description Language," IEEE Design & Test of Computers, vol. 2, No. 1, pp. 55-62 (Feb. 1985).
Randy H. Katz, `Managing the Chip Design Database`, IEEE Computer, vol. 16, No. 12, Dec. 1983, pp. 26-35.
Guy L. Steele, Jr., `Common LISP: The Language` The Digital Press, Maynard, Mass., 1984 (Table of Contents).

Affiliated with

Also associated with

Rating

Rule structure for insertion of new elements in a circuit design 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 for insertion of new elements in a circuit design, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Rule structure for insertion of new elements in a circuit design will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-1833692