Shekhar, N., Kalla, P., Enescu, F., & Gopalakrishnan, S. (2005, May 31). Equivalence verification of polynomial datapaths with fixed-size bit-vectors using finite ring algebra. ICCAD-2005 : International Conference on Computer Aided Design, November 6-10, 2005, DoubleTree Hotel, San Jose, CA, 291-296. https://doi.org/10.5555/1129601.1129644
Chicago-Zitierstil (17. Ausg.)Shekhar, N., P. Kalla, F. Enescu, und S. Gopalakrishnan. "Equivalence Verification of Polynomial Datapaths with Fixed-size Bit-vectors Using Finite Ring Algebra." ICCAD-2005 : International Conference on Computer Aided Design, November 6-10, 2005, DoubleTree Hotel, San Jose, CA 31 May. 2005: 291-296. https://doi.org/10.5555/1129601.1129644.
MLA-Zitierstil (9. Ausg.)Shekhar, N., et al. "Equivalence Verification of Polynomial Datapaths with Fixed-size Bit-vectors Using Finite Ring Algebra." ICCAD-2005 : International Conference on Computer Aided Design, November 6-10, 2005, DoubleTree Hotel, San Jose, CA, 31 May. 2005, pp. 291-296, https://doi.org/10.5555/1129601.1129644.