External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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]

Authors

Qian Wang

This author has not been identified. Look up 'Qian Wang' in Google

Xiaoyu Song

This author has not been identified. Look up 'Xiaoyu Song' in Google

Ming Gu

This author has not been identified. Look up 'Ming Gu' in Google

Jia-Guang Sun

This author has not been identified. Look up 'Jia-Guang Sun' in Google
runs on