✦ LIBER ✦

Semantics of a hardware specification language

✍ Scribed by Tony Larsson

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Hardware description language for specif

✍ G. Csopaki 📂 Article 📅 1989 🏛 Elsevier Science ⚖ 356 KB

Specification of a specification languag

✍ J Ludewig 📂 Article 📅 1981 🏛 Elsevier Science ⚖ 750 KB

Standard model semantics for DSL a data

✍ J. A. Bergstra; J. Terlouw 📂 Article 📅 1983 🏛 Springer-Verlag 🌐 English ⚖ 698 KB

Denotational semantics of object specifi

✍ Amílcar Sernadas; Cristina Sernadas; Carlos Caleiro 📂 Article 📅 1998 🏛 Springer-Verlag 🌐 English ⚖ 450 KB

A “Hardware Compiler” Semantics for Hand

✍ Andrew Butterfield; Jim Woodcock 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 324 KB

Specification of hardware for interval a

✍ M. Nehmeier; S. Siegel; J. Wolff von Gudenberg 📂 Article 📅 2012 🏛 Springer Vienna 🌐 English ⚖ 301 KB