✦ LIBER ✦

Design verification of digital systems based on logic programming

✍ Scribed by Yoheved Dotan; Benjamin Arazi

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Abstract interpretation based verificati

✍ Marco Comini; Roberta Gori; Giorgio Levi; Paolo Volpe 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 400 KB

Abstract Interpretation based Verificati

✍ Marco Comini; Roberta Gori; Giorgio Levi; Paolo Volpe 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 958 KB

Abstract Interpretation Based Verificati

✍ Giorgio Levi 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 27 KB

Logical Design of Digital Systems

✍ Walker, B.S. 📂 Article 📅 1977 🏛 The Institution of Electrical Engineers ⚖ 221 KB

Book review: Logical Design of Digital S

✍ Bental, L.G. 📂 Article 📅 1979 🏛 Institution of Electrical Engineers ⚖ 162 KB

Systems of agents controlled by logical

✍ M. K. Valiev; M. I. Dekhtyar; A. Ya. Dikovsky 📂 Article 📅 2009 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 348 KB