Formalization of a Parameterized Parallel Adder within the Coq Theorem Prover.
Saved in:
| Title: | Formalization of a Parameterized Parallel Adder within the Coq Theorem Prover. |
|---|---|
| Authors: | Chen, Gang |
| Source: | IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems; January 2010, Vol. 29 Issue 1, p149-153, 5p |
| Database: | Applied Science & Technology Source |
| ISSN: | 02780070 |
|---|---|
| DOI: | 10.1109/TCAD.2009.2034346 |
