Formalization of a Parameterized Parallel Adder within the Coq Theorem Prover. - Gang Chen (IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems, 2010)