✦ LIBER ✦

A light-weight framework for hardware verification

✍ Scribed by Christoph Kern; Tarik Ono-Tesfaye; Mark R. Greenstreet

Book ID: 106245630
Publisher: Springer
Year: 2001
Tongue: English
Weight: 461 KB
Volume: 3
Category: Article
ISSN: 1433-2779
DOI: 10.1007/s100090100043

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Verification Framework for Agent Commu

A Verification Framework for Agent Communication

✍ Rogier M. Van Eijk; Frank S. De Boer; Wiebe Van Der Hoek; John-Jules Ch. Meyer 📂 Article 📅 2003 🏛 Springer US 🌐 English ⚖ 558 KB

A Compositional Framework for Hardware/S

A Compositional Framework for Hardware/Software Co-Design

✍ A. Cau; R. Hale; J. Dimitrov; H. Zedan; B. Moszkowski; M. Manjunathaiah; M. Spiv 📂 Article 📅 2002 🏛 Springer US 🌐 English ⚖ 262 KB

A framework for the synthesis of hardwar

A framework for the synthesis of hardware from occam

✍ R. Dowsing; R. Elliott; M. Templeton; G. Williams; F. Woodhams 📂 Article 📅 1989 🏛 Elsevier Science ⚖ 549 KB

A Rewriting-based Framework for Web Site

A Rewriting-based Framework for Web Sites Verification

✍ M. Alpuente; D. Ballis; M. Falaschi 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 358 KB

Reprogrammable gate arrays for hardware

Reprogrammable gate arrays for hardware accelerated IC design verification

✍ Jeffrey A Dickson; Bing Liu; Alan W Ptak; Robert D McLeod 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 558 KB

A verification framework for agent progr

A verification framework for agent programming with declarative goals

✍ F.S. de Boer; K.V. Hindriks; W. van der Hoek; J.-J.Ch. Meyer 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 286 KB

A long and lasting problem in agent research has been to close the gap between agent logics and agent programming frameworks. The main reason for this problem of establishing a link between agent logics and agent programming frameworks is identified and explained by the fact that agent programming f