✦ LIBER ✦

Equivalence Verification of Polynomial Datapaths Using Ideal Membership Testing

✍ Scribed by Shekhar, N.; Kalla, P.; Enescu, F.

Book ID: 117907832
Publisher: IEEE
Year: 2007
Tongue: English
Weight: 331 KB
Volume: 26
Category: Article
ISSN: 0278-0070
DOI: 10.1109/tcad.2006.888277

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Testing the shift-equivalence of polynom

Testing the shift-equivalence of polynomials using quantum machines

✍ D. Grigoriev 📂 Article 📅 1996 🏛 Springer US 🌐 English ⚖ 742 KB

[IEEE 2011 IEEE International High Level

[IEEE 2011 IEEE International High Level Design Validation and Test Workshop (HLDVT) - Napa Valley, CA, USA (2011.11.9-2011.11.11)] 2011 IEEE International High Level Design Validation and Test Workshop - Modular equivalence verification of polynomial datapaths with multiple word-length operands

✍ Alizadeh, Bijan; Fujita, Masahiro 📂 Article 📅 2011 🏛 IEEE ⚖ 553 KB

[IEEE ICCAD-2005. IEEE/ACM International

[IEEE ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005. - San Jose, CA (Nov. 6-10, 2005)] ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005. - Equivalence verification of polynomial datapaths with fixed-size bit-vectors using finite ring algebra

✍ Shekhar, N.; Kalla, P.; Enescu, F.; Gopalakrishnan, S. 📂 Article 📅 2005 🏛 IEEE 🌐 English ⚖ 301 KB

Sponsored By Ieee Circuits & Systems Society ... [et Al.]. A Conference For The Cad And Design Professional--cover. Ieee Catalog Number: 05ch37700, Acm Order Number 477053--added T.p. Verso. Includes Bibliographical References And Author Index. Also Issued Online With Additional Title: Computer-aide

[IEEE 2008 IEEE/ACM International Confer

[IEEE 2008 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - San Jose, CA, USA (2008.11.10-2008.11.13)] 2008 IEEE/ACM International Conference on Computer-Aided Design - Verification of arithmetic datapaths using polynomial function models and congruence solving

✍ Tew, Neal; Kalla, Priyank; Shekhar, Namrata; Gopalakrishnan, Sivaram 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 224 KB