Logic design system and circuit transformation rule compiler

Details Logic design system and circuit transformation rule compiler Logic design system and circuit transformation rule compiler

1993-04-20

1994-10-25

Trans, Vincent N.

Boots, shoes, and leggings

364488, G06F 1560

Patent

active

053595394

ABSTRACT:
A plurality of types of circuit transformation rules have condition parts and conclusion parts. An inference control knowledge includes a knowledge related to a method of inferring the circuit transformation rules and a knowledge related to a relation between the circuit transformation rules. The circuit transformation rules are compiled into circuit transformation programs by use of the inference control knowledge. Already-existing programs include a procedural process of a logic design and various functions necessary for an execution of the circuit transformation programs. The circuit transformation programs and the already-existing programs are combined into a logic design program. A circuit transformation process is executed in accordance with the logic design program.

REFERENCES:
patent: 4651284 (1987-03-01), Watanabe et al.
patent: 4700317 (1987-10-01), Watanabe et al.
patent: 4703435 (1987-10-01), Darringer et al.
patent: 4833619 (1989-05-01), Shimizu et al.
patent: 4896272 (1990-01-01), Kurosawa
patent: 4922432 (1990-05-01), Kobayashi et al.
patent: 4942536 (1990-07-01), Watanabe et al.
patent: 5031111 (1991-07-01), Chao et al.
patent: 5038294 (1991-08-01), Arakawa et al.
patent: 5041986 (1991-08-01), Tanishita
patent: 5067091 (1991-11-01), Nakazawa
"Inside an Expert System" by B. A. Thompson et al., BYTE, Apr. 1985, pp. 315-330.
"Methods Used in an Automatic Logic Design Generator (Alert)" by T. D. Friedman et al., IEEE Trans. on Computer, vol. C-18, No. 7, Jul. 1969, pp. 593-614.
"Experiments in Logic Synthesis" by J. A. Darringer et al., IEEE-ICCC 1980, pp. 234-237A.
"A Rule-Based System for Optimizing Combination Logic" by A. J. de Geus et al., IEEE Design & Test 1985, pp. 22-32.

Affiliated with

Also associated with

Rating

Logic design system and circuit transformation rule compiler does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Logic design system and circuit transformation rule compiler, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Logic design system and circuit transformation rule compiler will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-140441