This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
The AADL/S* Approach to Firmware Design Verification
July/August 1986 (vol. 3 no. 4)
pp. 27-37
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?
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-Aug. 1986, doi:10.1109/MS.1986.233752
Usage of this product signifies your acceptance of the Terms of Use.