✦ LIBER ✦

New experiments on iterative synthesis of combinational circuits

✍ Scribed by P. N. Bibilo; V. I. Romanov

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formally verified synthesis of combinati

✍ David A. Basin; Geoffrey M. Brown; Miriam E. Leeser 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 895 KB

Analysis and synthesis of combinational

✍ Pedron, C.; Stauffer, A. 📂 Article 📅 1988 🏛 IEEE 🌐 English ⚖ 983 KB

Logic Complement, a New Method of Checki

✍ M. Gessel; A.V. Morozov; V.V. Sapozhnikov; Vl.V. Sapozhnikov 📂 Article 📅 2003 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 243 KB

Checking of combinational circuits basin

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

A new model for computation of probabili

✍ Sharad C. Seth; Vishwani D. Agrawal 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 30 KB

A new class of sequential circuits with

✍ Fujiwara, H. 📂 Article 📅 2000 🏛 IEEE 🌐 English ⚖ 455 KB