✦ LIBER ✦

Polynomial Formal Verification of Multipliers

✍ Scribed by Martin Keim; Rolf Drechsler; Bernd Becker; Michael Martin; Paul Molitor

Book ID: 110410934
Publisher: Springer
Year: 2003
Tongue: English
Weight: 306 KB
Volume: 22
Category: Article
ISSN: 0925-9856
DOI: 10.1023/a:1021752130394

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal verification

✍ B Meenakshi 📂 Article 📅 2005 🏛 Indian Academy of Sciences 🌐 English ⚖ 674 KB

Modulo multipliers using polynomial ring

Modulo multipliers using polynomial rings

✍ Radhakrishnan, D. 📂 Article 📅 1998 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 355 KB

Formal Verification of Websites

✍ Sonia Flores; Salvador Lucas; Alicia Villanueva 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 604 KB

On multipliers of polynomial addition se

On multipliers of polynomial addition sets

✍ S.L. Ma 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 415 KB

Decomposition of complex multipliers usi

Decomposition of complex multipliers using polynomial encoding

✍ Skavantzos, A.; Stouraitis, T. 📂 Article 📅 1992 🏛 IEEE 🌐 English ⚖ 286 KB

Isogenies of Polynomial Formal Groups

✍ Robert Underwood 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 202 KB

Let H s H i, j be a Greither order in KC and let Spec H i, j ª Spec B ¨p Ž . ª Spec C be a resolution of Spec H i, j in the flat topology which appears as formal completions of B and C give rise to two-dimensional polynomial formal groups F F and G G, respectively. The given resolution will then t