|
| 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
| ASCII Text | x | ||
| 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. | |||
| BibTex | x | ||
| @article{ 10.1109/MS.1986.233752, author = {W. Damm and G. Doehmen and K. Merkel and M. Sichelschmidt}, title = {The AADL/S* Approach to Firmware Design Verification}, journal ={IEEE Software}, volume = {3}, number = {4}, issn = {0740-7459}, year = {1986}, pages = {27-37}, doi = {http://doi.ieeecomputersociety.org/10.1109/MS.1986.233752}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - MGZN JO - IEEE Software TI - The AADL/S* Approach to Firmware Design Verification IS - 4 SN - 0740-7459 SP27 EP37 EPD - 27-37 A1 - W. Damm, A1 - G. Doehmen, A1 - K. Merkel, A1 - M. Sichelschmidt, PY - 1986 KW - null VL - 3 JA - IEEE Software ER - | |||
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.