Majority-Based Decomposition of Carry Logic in Binary Adders.

Leyla Nazhandali Karem A. Sakallah

Published in: IWLS (2002)

Keyphrases

multi valued
multiple valued
logical operations
logic synthesis
logic programming
wavelet packet
decomposition method
automated reasoning
predicate logic
hierarchical decomposition
data sets
decision trees
modal logic
boolean functions
defeasible logic
programmable logic