View in EDS

Formalization of a Parameterized Parallel Adder within the Coq Theorem Prover.

Saved in:
Bibliographic Details
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
Be the first to leave a comment!
You must be logged in first