✦ LIBER ✦

Modular Verification of SRT Division

✍ Scribed by Harald Ruess; Natarajan Shankar; Mandayam K. Srivas

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Choices of operand truncation in the SRT

✍ Burgess, N.; Williams, T. 📂 Article 📅 1995 🏛 IEEE 🌐 English ⚖ 513 KB

Modular verification of multithreaded pr

✍ Cormac Flanagan; Stephen N. Freund; Shaz Qadeer; Sanjit A. Seshia 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 330 KB

Modular specification and verification o

✍ Peter Herrmann; Heiko Krumm 📂 Article 📅 1998 🏛 Springer US 🌐 English ⚖ 714 KB

Efficient RNS-to-binary conversion using

✍ Burgess, N. 📂 Article 📅 2001 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 358 KB

Division of Fractions — Discovery and Ve

✍ Gamal A. Elashhab 📂 Article 📅 1978 🏛 School Science and Mathematics Association 🌐 English ⚖ 116 KB

On the verification of modular logical k

✍ Grigoris Antoniou; Volker Sperschneider 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 584 KB