✦ LIBER ✦

Automatic verification of library-based IC designs

✍ Scribed by Kostelijk, T.; De Loore, B.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Lyapunov-based feedback design and exper

✍ Jiangyan Zhang; Tielong Shen; Junichi Kako; Shozo Yoshida 📂 Article 📅 2009 🏛 Institute of Control, Robotics and Systems and The 🌐 English ⚖ 940 KB

Mechanized Reasoning and Hardware Design

✍ E. M. Clarke, J. R. Burch, O. Grumberg, D. E. Long, K. L. McMillan and P. Thomps 📂 Article 📅 1992 🏛 The Royal Society 🌐 English ⚖ 473 KB

Automatic interconnection rectification

✍ Chun-Yao Wang; Shing-Wu Tung; Jing-Yang Jou 📂 Article 📅 2003 🏛 IEEE 🌐 English ⚖ 744 KB

Design and Construction of the Automatic

✍ Z. Barták; J. Bolf; J. Kalousek; P. Mudra; M. Pavlı́k; V. Pokorný; M. Rinnová; Z 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 532 KB

Automatic verification of concurrent sys

✍ Antonella Santone 📂 Article 📅 2002 🏛 Springer-Verlag 🌐 English ⚖ 352 KB

A Semantics-based Translation Method for

✍ Gao, Yanyan; Li, Xi 📂 Article 📅 2013 🏛 Springer US 🌐 English ⚖ 313 KB