Logic redundancy

Logic redundancy

Logic redundancy occurs in a a digital gate network containing circuitry that does not affect the static logic function. There are several reasons why logic redundancy may exist. One reason is that it may have been added deliberately to suppress transient glitches (thus causing a race condition) in the output signals by having two or more product terms overlap with a third one.

Consider the following equation:

:Y = A B + overline{A} C + B C

The third product term BC is redundant. If A switches from 1 to 0 while B = 1 and C = 1, Y remains 1. During the transition of signal A in logic gates, both the first and second term may be 0 momentarily. The third term prevents a glitch since its value of 1 in this case is not affected by the transition of signal A.

Another reason for logic redundancy is poor design practices which unintentionally results in logically redundantly terms. This causes an unnecessary increase in network complexity, and possibly hampering the ability to test manufactured designs using traditional test methods (single stuck-at fault models). (Note: testing might be possible using IDDQ models.)

Removing logic redundancy

Logic redundancy is, in general, not desired.Redundancy, by definition, requires extra parts (in this case: logical terms) which raises the cost of implementation (either actual cost of physical parts or CPU time to process).Logic redundancy can be removed by several well known techniques such as Karnaugh maps, the Quine–McCluskey algorithm, and the heuristic computer method.

Adding logic redundancy

In some cases it may be desirable to "add" logic redundancy. One of those cases is to avoid race conditions whereby an output can fluctuate because different terms are "racing" to turn off and on. To explain this in more concrete terms the Karnaugh map to the right shows the minterms and maxterms for the following function:

:f(A, B, C, D) = E(6, 8, 9, 10, 11, 12, 13, 14)

The boxes represent the minimal AND/OR terms needed to implement this function:

:F = Aoverline{C} + Aoverline{B} + BCoverline{D}

The k-map visually shows where race conditions occur in the minimal expression by having gaps between minterms or gaps between maxterms. For example, the gap between the blue and green rectangles. If the input ABCD=1110 were to change to ABCD=1010 then a race will occur between BCoverline{D} turning off and Aoverline{B} turning off.If the blue term switches off before the green turns on then the output will fluctuate and may register as 0.Another race condition is between the blue and the red for transition of ABCD=1110 to ABCD=1100.

The race condition is removed by adding in logic redundancy, which is contrary to the aims of using a k-map in the first place.Both minterm race conditions are covered by addition of the yellow term Aoverline{D}.(The maxterm race condition is covered by addition of the green-bordered grey term A+overline{D}.)

In this case, the addition of logic redundancy has stabilized the output to avoid output fluctuations because terms are racing each other to change state.



Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • Redundancy — may refer to: Redundancy (engineering) Redundancy (information theory) Redundancy (language) Redundancy (total quality management) Redundancy (user interfaces) Data redundancy Gene redundancy Logic redundancy Redundant acronym syndrome syndrome… …   Wikipedia

  • Redundancy (engineering) — In engineering, redundancy is the duplication of critical s of a system with the intention of increasing reliability of the system, usually in the case of a backup or fail safe. In many safety critical systems, such as fly by wire aircraft, some… …   Wikipedia

  • Redundancy —   A technical systems term for repeating data in the data base. Logic says that data should only exist in a data base in one place. Data is however duplicated in actual systems because of technical limitations of the system and for ease of use …   International financial encyclopaedia

  • Outline of logic — The following outline is provided as an overview of and topical guide to logic: Logic – formal science of using reason, considered a branch of both philosophy and mathematics. Logic investigates and classifies the structure of statements and… …   Wikipedia

  • Triple modular redundancy — In computing, triple modular redundancy (TMR) is a fault tolerant form of N modular redundancy, in which three systems perform a process and that result is processed by a voting system to produce a single output. If any one of the three systems… …   Wikipedia

  • Monoidal t-norm logic — Monoidal t norm based logic (or shortly MTL), the logic of left continuous t norms, is one of t norm fuzzy logics. It belongs to the broader class of substructural logics, or logics of residuated lattices;[1] it extends the logic of commutative… …   Wikipedia

  • Espresso heuristic logic minimizer — The Espresso logic minimizer is a computer program using heuristic and specific algorithms for efficiently reducing the complexity of digital electronic gate circuits.[1] Espresso was developed at IBM by Robert Brayton. Rudell later published the …   Wikipedia

  • BL (logic) — Basic fuzzy Logic (or shortly BL), the logic of continuous t norms, is one of t norm fuzzy logics. It belongs to the broader class of substructural logics, or logics of residuated lattices;Ono (2003).] it extends the logic of all left continuous… …   Wikipedia

  • List of mathematics articles (L) — NOTOC L L (complexity) L BFGS L² cohomology L function L game L notation L system L theory L Analyse des Infiniment Petits pour l Intelligence des Lignes Courbes L Hôpital s rule L(R) La Géométrie Labeled graph Labelled enumeration theorem Lack… …   Wikipedia

  • Truth — For other uses, see Truth (disambiguation). Time Saving Truth from Falsehood and Envy, François Lemoyne, 1737 Truth has a variety of meanings, such as the state of being in accord with fact or reality …   Wikipedia

Share the article and excerpts

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