Bin Xue, Prosenjit Chatterjee, Sandeep K. Shukla. Simplification of C-RTL equivalent checking for fused multiply add unit using intermediate models. In 18th Asia and South Pacific Design Automation Conference, ASP-DAC 2013, Yokohama, Japan, January 22-25, 2013. pages 723-728, IEEE, 2013. [doi]
@inproceedings{XueCS13,
title = {Simplification of C-RTL equivalent checking for fused multiply add unit using intermediate models},
author = {Bin Xue and Prosenjit Chatterjee and Sandeep K. Shukla},
year = {2013},
doi = {10.1109/ASPDAC.2013.6509686},
url = {http://dx.doi.org/10.1109/ASPDAC.2013.6509686},
researchr = {https://researchr.org/publication/XueCS13},
cites = {0},
citedby = {0},
pages = {723-728},
booktitle = {18th Asia and South Pacific Design Automation Conference, ASP-DAC 2013, Yokohama, Japan, January 22-25, 2013},
publisher = {IEEE},
isbn = {978-1-4673-3029-9},
}