A Signed Array Multiplier with Bypassing Logic.
Chua-Chin WangChia-Hao HsuGang-Neng SungYu-Cheng LuPublished in: J. Signal Process. Syst. (2012)
Keyphrases
- classical logic
- logic programming
- multi valued
- predicate logic
- random access memory
- modal logic
- databases
- automated reasoning
- sound and complete axiomatization
- multi agent
- website
- floating point
- real time
- hardware implementation
- probabilistic logic
- linear logic
- proof theory
- linear array
- logic synthesis
- machine learning
- data sets