✦ LIBER ✦

Simulation-Based Verification of Floating-Point Division

✍ Scribed by Guralnik, E.; Aharoni, M.; Birnbaum, A.J.; Koyfman, A.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Macro-based simulated floating-point pro

✍ Seppo J. Ovaska 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 315 KB

Principle of MSD floating-point division

✍ Yun-fu Shen; Peng-fei Hu; Xiao-ling Fan 📂 Article 📅 2011 🏛 Chinese Electronic Periodical Services 🌐 English ⚖ 167 KB

High-Level Languages and Floating-Point

✍ Sanchez-Roman, D.; Sutter, G.; Lopez-Buedo, S.; Gonzalez, I.; Gomez-Arribas, F.J 📂 Article 📅 2011 🏛 IEEE 🌐 English ⚖ 573 KB

Matrix based computation of floating-poi

✍ Van Veen, B.D.; Baraniuk, R. 📂 Article 📅 1989 🏛 IEEE ⚖ 351 KB

Proof engineering in the large: formal v

✍ Roope Kaivola; Katherine Kohatsu 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 217 KB

On the systematic synthesis of CCII-base

✍ Ramy A. Saad; Ahmed M. Soliman 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 367 KB