Reed-Muller expansion

Reed-Muller expansion

In logic synthesis Reed-Muller (or Davio) expansion is a decomposition of a boolean function.

For a boolean function f(x_1,...,x_n) we set with respect to x_i:

:egin{align}f_{x_i}(x) & = f(x_1,...,x_{i-1},1,x_{i+1},...,x_n) \ [3pt] f_{overline{x_i(x)& = f(x_1,...,x_{i-1},0,x_{i+1},...,x_n) \ [3pt] frac{partial f}{partial x_i} & = f_{x_i}(x) oplus f_{overline{x_i(x), \end{align}

as the positive and negative cofactors of f, and the boolean derivation of f.

Then we have for the Reed-Muller or positive Davio expansion:

:f = f_{overline{x_i oplus x_i frac{partial f}{partial x_i}.

Similar to the BDDs, where nodes represent Shannon expansion with respect to the according variable, we can define a
decision diagram based on the Reed-Muller expansion. These decision diagrams are called functional BDDs (FBDDs).

References

*Kebschull, U. and Rosenstiel, W., "Efficient graph-based computation and manipulation of functional decision diagrams", Proceedings 4th European Conference on Design Automation, 1993, pp. 278-282

ee also

* Binary decision diagram


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Reed–Muller code — Reed Muller codes are a family of linear error correcting codes used in communications. They are named after their discoverers, Irving S. Reed and D. E. Muller. Muller discovered the codes, and Reed proposed the majority logic decoding for the… …   Wikipedia

  • List of mathematics articles (R) — NOTOC R R. A. Fisher Lectureship Rabdology Rabin automaton Rabin signature algorithm Rabinovich Fabrikant equations Rabinowitsch trick Racah polynomials Racah W coefficient Racetrack (game) Racks and quandles Radar chart Rademacher complexity… …   Wikipedia

  • literature — /lit euhr euh cheuhr, choor , li treuh /, n. 1. writings in which expression and form, in connection with ideas of permanent and universal interest, are characteristic or essential features, as poetry, novels, history, biography, and essays. 2.… …   Universalium

  • History of perpetual motion machines — The history of perpetual motion machines dates back to the Middle Ages. For millennia, it was not clear whether perpetual motion devices were possible or not, but the development of modern thermodynamics has indicated that they are impossible.… …   Wikipedia

  • Cat's Eye Nebula — Composite image using optical images from the HST and X ray data from the Chandra X ray Observatory Observation data …   Wikipedia

  • Association football — Football Pour les articles homonymes, voir Football (homonymie). Football Soccer …   Wikipédia en Français

  • Balle au pied — Football Pour les articles homonymes, voir Football (homonymie). Football Soccer …   Wikipédia en Français

  • Club de foot — Football Pour les articles homonymes, voir Football (homonymie). Football Soccer …   Wikipédia en Français

  • Contrôle (football) — Football Pour les articles homonymes, voir Football (homonymie). Football Soccer …   Wikipédia en Français

  • Contrôle de poitrine — Football Pour les articles homonymes, voir Football (homonymie). Football Soccer …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”