Method for automatically producing an implicit representation of

Details Method for automatically producing an implicit representation of Method for automatically producing an implicit representation of

1993-04-27

1995-07-18

Trans, Vincent N.

Boots, shoes, and leggings

364488, G06F 1750

Patent

active

054347947

ABSTRACT:
The invention provides a method for automatically producing, in a memory zone of a data-processing device, an implicit representation of the prime implicants of a Boolean function, using that device. A Boolean function is represented, in another memory zone of that device, in the form of a binary decision diagram (f) of that function. The implicit representation is obtained from the decision diagram, by taking recursive paths across that diagram to find intermediate elements, which are then combined after each recursion. Each intermediate element uses occurrence variables (O.sub.1, . . . ,O.sub.n) and sign variables (S.sub.1, . . . ,S.sub.n). Means are used to obtain standardized intermediate elements during their creation, thus reducing memory consumption, and means of combining the intermediate elements after their standardization.

REFERENCES:
patent: 3764788 (1973-10-01), Hong et al.
patent: 4495626 (1985-01-01), Brunin et al.
patent: 4792909 (1988-12-01), Serlet
patent: 5237513 (1993-08-01), Kaplan
"Graph-Based Algorithms for Boolean Function Manipulation", IEEE Transactions on Computers, vol. C-35, No. 8, Aug. 1986, New York.
"Binary Decision Diagrams", IEEE Transactions on Computers, vol. C-27 No. 6, Jun. 1978, New York, pp. 509-516.

Affiliated with

Also associated with

Rating

Method for automatically producing an implicit representation of does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Method for automatically producing an implicit representation of, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method for automatically producing an implicit representation of will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-2421304