✦ LIBER ✦

Formally verified synthesis of combinational CMOS circuits

✍ Scribed by David A. Basin; Geoffrey M. Brown; Miriam E. Leeser

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Modeling and simulation of combinational

✍ Mohsen Hayati; Abbas Rezaei; Majid Seifi; Ali Naderi 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 965 KB

Design of multioutput CMOS combinational

✍ Kundu, S. 📂 Article 📅 1989 🏛 IEEE 🌐 English ⚖ 585 KB

New experiments on iterative synthesis o

✍ P. N. Bibilo; V. I. Romanov 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 194 KB

Analysis and synthesis of combinational

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

Analysis of Fault Detection Probability

✍ Kazuhiko Iwasaki 📂 Article 📅 1990 🏛 John Wiley and Sons 🌐 English ⚖ 636 KB

Logic synthesis of race-free asynchronou

✍ Piguet, C. 📂 Article 📅 1991 🏛 IEEE 🌐 English ⚖ 869 KB