Two Hierarchies of Generalized Kronecker Trees, Forms, Decision Diagrams, and Regular Layouts
نویسندگان
چکیده
| The paper presents two hierarchies of canonical AND/EXOR trees, forms and decision diagrams. The rst hierarchy generalizes the Kronecker and Generalized Kronecker representations by introducing new canonical AND/EXOR forms. We propose to call all these new forms and future AND/EXOR forms including KRO and GRM, the Zhegalkin forms 42] to honor the Russian scientist who in 1927 discovered the forms now attributed to Reed and Muller and invented by them in 1954. The new Zhegalkin representations and forms can be used for synthesis of quasi-minimum ESOP circuits and the new diagrams can represent large functions and can be used for optimal synthesis of highly testable multilevel circuits in several technologies, especially in Fine Grain Field Programmable Gate Arrays. The second hierarchy generalizes and extends the Universal Akers Array to expansions other than Shannon and neighborhoods other then 2-inputs, 2-outputs. These diagrams are called Zhegalkin Lattice Diagrams.
منابع مشابه
Efficient Algorithms for Creation of Linearly-independent Decision Diagrams and their Mapping to Regular Layouts
A new kind of a decision diagrams are presented: its nodes correspond to all types of nonsingular expansions for groups of input variables, in particular pairs. The diagrams are called the Linearly Independent (LI) Decision Diagrams (LI DDs). There are 840 nonsigular expansions for a pair of variables, thus 840 different types of nodes in the tree. Therefore, the number of nodes in such (exact)...
متن کاملA Canonical And/exor Form That Includes Both the Generalized Reed-muller Forms and Kronecker Forms
| The paper gives a positive answer to an open problem-whether there exists some family of canonical forms that would include both the Generalized Reed-Muller Forms and the Kronecker Forms as its special cases. We call the new forms Generalized Kronecker Forms. We present also the corresponding decision diagrams. They can be used for representation of large functions and also for optimal synthe...
متن کاملA Canonical And/exor Form That Includes Both the Generalized Reed-muller Forms and Kronecker Reed-muller Forms
| The paper gives a positive answer to a question posed by Tsutomu Sasao-whether there exists some family of canonical forms that would include both the Generalized Reed-Muller Forms and the Kro-necker RM Forms as its special cases. We call the new forms Generalized Kronecker Forms. We present also the corresponding decision diagrams. They can be used for representation of large functions and a...
متن کاملFree Kronecker Decision Diagrams and their Application to Atmel 6000 FPGA Mapping
This paper introduces the concepts of PseudoKronecker Decision Diagrams (PKDDs) with Negated Edges, as well as Free Kronecker Decision Diagrams (FKDDs), that generalize both the well-known Binary Decision Diagrams and Functional Decision Diagrams, as well as the recently introduced Ordered Kronecker Decision Diagrams (OKDDs). We give e cient algorithm for the generation of FKDDs for multi-outpu...
متن کاملMinimization of 2-level AND/XOR Expressions using Ordered Kronecker Functional Decision Diagrams
We present two new classes of 2-level AND/XOR expressions: the class RKRO of Reduced Kronecker Expressions and the class GKRO of Generalized Kronecker Expressions. GKRO contains RKRO and KRO, the well-known class of Kronecker Expressions Sas93b] as a subclass. There is a close relation between RKROs, KROs, GKROs and Ordered Kro-necker Functional Decision Diagrams (OKFDDs) DST + 94], that togeth...
متن کامل