Formal Proof for a General Architecture of Hybrid Prefix/Carry-Select Adders.

Feng Liu QingPing Tan Xiaoyu Song Gang Chen

Published in: ICA3PP (1) (2010)

Keyphrases

formal proof
bit parallel
theorem prover
data structure
multiple valued
machine learning
pattern matching
clustering algorithm
relational databases
selection algorithm
hybrid approaches
neural network