The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.04 - July/August (1986 vol.3)
pp: 27-37
W. Damm , Technical University at Aachen
ABSTRACT
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?
INDEX TERMS
null
CITATION
W. Damm, G. Doehmen, K. Merkel, M. Sichelschmidt, "The AADL/S* Approach to Firmware Design Verification", IEEE Software, vol.3, no. 4, pp. 27-37, July/August 1986, doi:10.1109/MS.1986.233752
20 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool