MIMOLA

Operational hardware specification language.

["A Retargetable Compiler for a High-Level Microprogramming

Language", 17th Ann Workshop on Microprogramming, P. Marwedel,

IEEE 1984, pp. 267-274].