✦ LIBER ✦

An organization for checking experiments on sequential circuits

✍ Scribed by Kime, Charles R.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Comments on "Checking Experiments for Se

✍ Wakimura, Y.; Yoshida, N. 📂 Article 📅 1975 🏛 IEEE 🌐 English ⚖ 371 KB

An Improved Bound on the Length of Check

✍ Holborow, C. E. 📂 Article 📅 1972 🏛 IEEE 🌐 English ⚖ 458 KB

An Improved Algorithm for Deriving Check

✍ Braun, R.D.; Givone, D.D. 📂 Article 📅 1979 🏛 IEEE 🌐 English ⚖ 806 KB

An experiment on obsessional checking

✍ G. Roper; S. Rachman; R. Hodgson 📂 Article 📅 1973 🏛 Elsevier Science 🌐 English ⚖ 481 KB

Underapproximation for model-checking ba

✍ Arie Matsliah; Ofer Strichman 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 207 KB

Circuit optimization via sequential comp

✍ Robert Aslett; Robert J. Buck; Steven G. Duvall; Jerome Sacks; William J. Welch 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 544 KB