✦ LIBER ✦

Automatic verification of asynchronous circuits using temporal logic

✍ Scribed by Dill, D.L.; Clarke, E.M.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Automatic verification of sequential con

✍ Il Moon; Gary J. Powers; Jerry R. Burch; Edmund M. Clarke 📂 Article 📅 1992 🏛 American Institute of Chemical Engineers 🌐 English ⚖ 806 KB

Verification of Asynchronous Circuits us

✍ Marius Bozga; Hou Jianmin; Oded Maler; Sergio Yovine 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 162 KB

Transformations of asynchronous logic ci

✍ V. N. Nikolenko 📂 Article 📅 1978 🏛 Springer US 🌐 English ⚖ 231 KB

Modular verification of timed circuits u

✍ Hao Zheng; Mercer, E.; Myers, C. 📂 Article 📅 2003 🏛 IEEE 🌐 English ⚖ 928 KB

Decomposition of asynchronous logical ci

✍ A. N. Chebotarev 📂 Article 📅 1978 🏛 Springer US 🌐 English ⚖ 883 KB

Automatic verification of distributed lo

✍ R Mall; L.M Patnaik 📂 Article 📅 1994 🏛 Elsevier Science ⚖ 934 KB