A method of automatically generating an implicit representation of the prime implicants of a function.

摘要

The invention relates to a method of automatically generating, in a memory zone of a data processing apparatus, an implicit representation of the first implicants of a Boolean function, with the aid of this apparatus. . BR/ A Boolean function is represented, in another memory area of this device, in the form of a binary decision diagram (f) of this function. The implicit representation is obtained from the decision diagram, by performing recursive steps through this diagram to determine intermediate elements then combined between them following each recursion. Each intermediate element uses occurrence variables (O1, ..., On) and sign variables (S1, ..., Sn). Means are implemented to obtain standardized intermediate elements during their preparation, thus reducing memory consumption, and means for combining the intermediate elements after their normalization. / P