Functional Verification of High Performance Adders in COQ

Qian Wang, Xiaoyu Song, Ming Gu, Jia-Guang Sun. Functional Verification of High Performance Adders in COQ. J. Applied Mathematics, 2014, 2014. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.