Omid Sarbishei, Katarzyna Radecka. Verification of fixed-point datapaths with comparator units using Constrained Arithmetic Transform (CAT). In 2012 IEEE International Symposium on Circuits and Systems, ISCAS 2012, Seoul, Korea (South), May 20-23, 2012. pages 592-595, IEEE, 2012. [doi]
@inproceedings{SarbisheiR12-0, title = {Verification of fixed-point datapaths with comparator units using Constrained Arithmetic Transform (CAT)}, author = {Omid Sarbishei and Katarzyna Radecka}, year = {2012}, doi = {10.1109/ISCAS.2012.6272100}, url = {http://dx.doi.org/10.1109/ISCAS.2012.6272100}, researchr = {https://researchr.org/publication/SarbisheiR12-0}, cites = {0}, citedby = {0}, pages = {592-595}, booktitle = {2012 IEEE International Symposium on Circuits and Systems, ISCAS 2012, Seoul, Korea (South), May 20-23, 2012}, publisher = {IEEE}, isbn = {978-1-4673-0218-0}, }