✦ LIBER ✦

Checking Combinational Equivalence of Speed-Independent Circuits

✍ Scribed by Peter A. Beerel; Jerry R. Burch; Teresa H. Meng

Book ID: 110265947
Publisher: Springer
Year: 1998
Tongue: English
Weight: 356 KB
Volume: 13
Category: Article
ISSN: 0925-9856
DOI: 10.1023/a:1008666605437

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Checking of combinational circuits basin

Checking of combinational circuits basing on modification sum codes

✍ V. B. Mekhov; V. V. Sapozhnikov; Vl. V. Sapozhnikov 📂 Article 📅 2008 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 389 KB

Checking Combinational Circuits by the M

Checking Combinational Circuits by the Method of Logic Complement

✍ M. Goessel; A. V. Morozov; V. V. Sapozhnikov; Vl. V. Sapozhnikov 📂 Article 📅 2005 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 280 KB

Logic Complement, a New Method of Checki

Logic Complement, a New Method of Checking the Combinational Circuits

✍ M. Gessel; A.V. Morozov; V.V. Sapozhnikov; Vl.V. Sapozhnikov 📂 Article 📅 2003 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 243 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

Check of linear combination circuits

✍ V. V. Sapozhnikov 📂 Article 📅 1980 🏛 Springer US 🌐 English ⚖ 467 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