Issue No. 04 - July/August (1986 vol. 3)
W. Damm , Technical University at Aachen
If microprogramming aims to provide direct hardware control? allowing fast, reliable, and flexible implementation of higher architectural layers?how can high-level microprogramming languages be microarchitecture independent?
K. Merkel, M. Sichelschmidt, W. Damm and G. Doehmen, "The AADL/S* Approach to Firmware Design Verification," in IEEE Software, vol. 3, no. , pp. 27-37, 1986.