Proofs of Correctness and Properties of Integer Adder Circuits.

Gang Chen Feng Liu

Published in: IEEE Trans. Computers (2010)

Keyphrases

desirable properties
information retrieval
logic circuits
artificial intelligence
evolutionary algorithm
theorem proving
digital circuits
vlsi circuits