✦ LIBER ✦

An industrially effective environment for formal hardware verification

✍ Scribed by Seger, C.-J.H.; Jones, R.B.; O'Leary, J.W.; Melham, T.; Aagaard, M.D.; Barrett, C.; Syme, D.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Industrial Practice of Formal Hardware V

✍ Ganesh L. Gopalakrishnan; Warren A. Hunt 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 41 KB

A novel formal verification approach for

✍ Ridha Djemal; Mohamed Ayoub Dhouib; Samuel Dellacherie; Rached Tourki 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 929 KB

A Formal Verification Environment for Ra

✍ Cinzia Bernardeschi; Alessandro Fantechi; Stefania Gnesi; Salvatore Larosa; Gior 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 316 KB

Hardware Atomicity: An Effective Abstrac

✍ Neelakantam, N.; Zilles, C.; Rajwar, R.; Srinivas, S.; Srinivasan, U. 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 546 KB

ARIFS:: an Environment for Incomplete an

✍ Rebeca P. Díaz Redondo; José J. Pazos Arias; Ana Fernández Vilas; Belén Barragán 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 386 KB

An Integrated Environment for Design Ver

✍ Hashempour, H.; Lombardi, F.; Necoechea, W.; Mehta, R.; Alton, T. 📂 Article 📅 2007 🏛 IEEE 🌐 English ⚖ 485 KB