Applied Optics · 1986 · 71 citations · 13 references
EngineeringComputer EngineeringComputer ScienceComputer ArchitectureField-programmable Gate ArraysParallel ComputingCoding TheoryDigital Logic DesignDigital Signal ProcessingField-programmable Gate Array ArchitectureLookup TablesProgrammable Logic DevicesContent-addressable MemoryLogic MinimizationLogic OptimizationLookup Table DesignMinimizationProgrammable Array LogicProgrammable Logic ArrayTruth Tables
Discrete numerical values in digital processing systems may be encoded in two-level (binary) or higher-level (multilevel) representations. Multilevel coding can produce smaller and more efficient processors. In truth-table lookup processing, the number of entries (reference patterns) can be reduced using multilevel coding. Since parallel-input/parallel-output optical truth-table lookup processors can be constructed based on holographic content-addressable memories, it is essential to know the minimum storage required to implement various functions. A new simple method for reducing multivalued functions is presented. This method is based on an extension of the Quine-McCluskey minimization method used for binary logic functions. This minimization method is then applied to the truth tables representing (1) modified signed-digit addition, (2) residue addition, and (3) residue multiplication. A programmable logic array gate configuration for the modified signed-digit adder is presented.
13
Introduction to a General Theory of Elementary Propositions
Emil L. Post · American Journal of Mathematics · 1921 · 1K citations
Humanities, Mathematics, Logic +7
Harvey L. Garner · IEEE Transactions on Electronic Computers · 1959 · 273 citations