Formalization of a Parameterized Parallel Adder Within the Coq Theorem Prover | IEEE Journals & Magazine | IEEE Xplore