✦ LIBER ✦

An Approach to the Specification and Verification of a Hardware Compilation Scheme

✍ Scribed by Jonathan P. Bowen; He Jifeng

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An approach to formal specification and

✍ M.A.V Nelson; P.S.C Alencar; D.D Cowan 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 150 KB

A general approach to workpiece characte

✍ N.M Durakbasa; P.H Osanna; A Afjehi-Sadat 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 67 KB

The DUAL-EVAL Hardware Description Langu

✍ Bishop C. Brock; Warren A. Hunt 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 283 KB

AN ALTERNATIVE APPROACH TO THE SPECIFICA

✍ EDUARD A. ALCORDO; LESTER W. JOHNSON 📂 Article 📅 1985 🏛 John Wiley and Sons 🌐 English ⚖ 505 KB

Application of Modal Logics to the Speci

✍ V. B. Popov; A. S. Anafiev 📂 Article 📅 2001 🏛 Springer US 🌐 English ⚖ 30 KB

GKS-9x: The Design Output Primitive, an

✍ Ph. W. Nehlig; D. A. Duce 📂 Article 📅 1994 🏛 John Wiley and Sons 🌐 English ⚖ 346 KB