Publication | Closed Access
Efficient derivation of Reed-Muller expansions in multiple-valued logic systems
32
Citations
9
References
2003
Year
Unknown Venue
Mathematical ProgrammingEngineeringBoolean FunctionReed-muller ExpansionsMatrix MultiplicationComputational ComplexityFormal VerificationSymbolic ComputationMany-valued LogicApproximation TheoryEfficient DerivationComputer ScienceArea-time TradeoffLogic SynthesisAutomated ReasoningFormal MethodsMathematical FoundationsComputer AlgebraAlgebraic Method
A method for computing Reed-Muller expansions for multivalued logic functions is presented. All coefficients are constructed directly without the use of matrix multiplication. Due to the high degree of parallelism, the complexity of the algorithm in terms of the area-time tradeoff (AT/sup 2/) yields a better result than a butterfly algorithm does.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
| Year | Citations | |
|---|---|---|
Page 1
Page 1