✦ LIBER ✦

Silicon Debug of a PowerPC™ Microprocessor Using Model Checking

✍ Scribed by Richard Raimi; James Lear

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal Verification of a Railway Interlo

✍ A. Cimatti; F. Giunchiglia; G. Mongardi; D. Romano; F. Torielli; P. Traverso 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 130 KB

Microprocessor evaluation of magnetic pr

✍ A. Basak; R. Nourizadeh 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 217 KB

Experimental checking of the coenergy mo

✍ Thierry Péra; Thierry Waeckerle; Florence Ossart 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 187 KB

Verification of a logically controlled,

✍ Scott T. Probst; Gary J. Powers; D.E. Long; I. Moon 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 994 KB

A logical encoding of the π-calculus: mo

✍ Ping Yang; C.R. Ramakrishnan; Scott A. Smolka 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 573 KB

Dynamic Power Management of a System Wit

✍ Sesic, A.; Dautovic, S.; Malbasa, V. 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 165 KB