✦ LIBER ✦

Residue check of arithmetic operations

✍ Scribed by G. K. Kladov; E. M. Lyakhovitskii; A. Ya. Shpil'berg

Book ID: 105058416
Publisher: Springer US
Year: 1965
Tongue: English
Weight: 108 KB
Volume: 1
Category: Article
ISSN: 1573-8337
DOI: 10.1007/bf01071253

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

2-dimensional arithmetic residue check c

2-dimensional arithmetic residue check codes

✍ B. Bose 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 490 KB

Error-Checking Logic for Arithmetic-Type

Error-Checking Logic for Arithmetic-Type Operations of a Processor

✍ Rao, T.R.N. 📂 Article 📅 1968 🏛 IEEE 🌐 English ⚖ 908 KB

New technique of arithmetic operation us

New technique of arithmetic operation using the positional residue system

✍ Mukhopadhyay, S. ;Basuray, A. ;Datta, A. K. 📂 Article 📅 1990 🏛 The Optical Society 🌐 English ⚖ 855 KB

Equivalence checking of arithmetic circu

Equivalence checking of arithmetic circuits on the arithmetic bit level

✍ Stoffel, D.; Kunz, W. 📂 Article 📅 2004 🏛 IEEE 🌐 English ⚖ 442 KB

A residue arithmetic implementation of t

A residue arithmetic implementation of the FFT

✍ Fred J. Taylor 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 896 KB

Advanced Formal Verification || Equivale

Advanced Formal Verification || Equivalence Checking of Arithmetic Circuits

✍ Drechsler, Rolf 📂 Article 📅 2004 🏛 Kluwer Academic Publishers 🌐 English ⚖ 509 KB

modern Circuits May Contain Up To Several Hundred Million Transistors. In The Meantime It Has Been Observed That Verification Becomes The Major Bottleneck In Design Flows, I.e. Up To 80% Of The Overall Design Costs Are Due To Verification. This Is One Of The Reasons Why Several Methods Have Been Pro