Qian Wang, Xiaoyu Song, Ming Gu, Jia-Guang Sun. Functional Verification of High Performance Adders in COQ. J. Applied Mathematics, 2014, 2014. [doi]
@article{WangSGS14,
title = {Functional Verification of High Performance Adders in COQ},
author = {Qian Wang and Xiaoyu Song and Ming Gu and Jia-Guang Sun},
year = {2014},
doi = {10.1155/2014/197252},
url = {http://dx.doi.org/10.1155/2014/197252},
researchr = {https://researchr.org/publication/WangSGS14},
cites = {0},
citedby = {0},
journal = {J. Applied Mathematics},
volume = {2014},
}