%0 Conference Paper %1 conf/aspdac/XueCS13 %A Xue, Bin %A Chatterjee, Prosenjit %A Shukla, Sandeep K. %B ASP-DAC %D 2013 %I IEEE %K dblp %P 723-728 %T Simplification of C-RTL equivalent checking for fused multiply add unit using intermediate models. %U http://dblp.uni-trier.de/db/conf/aspdac/aspdac2013.html#XueCS13 %@ 978-1-4673-3029-9

@inproceedings{conf/aspdac/XueCS13, added-at = {2018-11-14T00:00:00.000+0100}, author = {Xue, Bin and Chatterjee, Prosenjit and Shukla, Sandeep K.}, biburl = {https://www.bibsonomy.org/bibtex/21f841fcb7796c5e8c9d502f8493194a6/dblp}, booktitle = {ASP-DAC}, crossref = {conf/aspdac/2013}, ee = {https://www.wikidata.org/entity/Q57526809}, interhash = {e16e5e613c7f43cb179cdc57df475514}, intrahash = {1f841fcb7796c5e8c9d502f8493194a6}, isbn = {978-1-4673-3029-9}, keywords = {dblp}, pages = {723-728}, publisher = {IEEE}, timestamp = {2019-10-17T16:44:50.000+0200}, title = {Simplification of C-RTL equivalent checking for fused multiply add unit using intermediate models.}, url = {http://dblp.uni-trier.de/db/conf/aspdac/aspdac2013.html#XueCS13}, year = 2013 }