✦ LIBER ✦

Digital System Verification: A Combined Formal Methods and Simulation Framework

✍ Scribed by Li, Lun; Thornton, Mitchell A.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A formal specification and verification

✍ Frey, P.; Radhakrishnan, R.; Carter, H.W.; Wilsey, P.A.; Alexander, P. 📂 Article 📅 2002 🏛 IEEE 🌐 English ⚖ 513 KB

Toward a wider use of formal methods for

✍ Yamine Ait Ameur; Frédéric Boniol; Virginie Wiels 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 135 KB

Studies on the method of combining an an

✍ Yukao Tanaka; Hidetoshi Nishigaito; Hiroo Konishi; Masashi Nishimura 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 280 KB 👁 1 views

Dynamic analysis method of a combined en

✍ Xilin Lu; Qiang Zhou 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 146 KB

Cardiovascular simulation using a multip

✍ Toru Masuzawa; Yasuhiro Fukui; N. T. Smith 📂 Article 📅 1992 🏛 Springer 🌐 English ⚖ 1010 KB

Application of a finite analytic numeric

✍ Weijun Qian; Baokang Jin; Guowang Diao; Zuxun Zhang; Hansheng Shi 📂 Article 📅 1996 🏛 Elsevier 🌐 English ⚖ 747 KB