Scheduled System Maintenance:
Some services will be unavailable Sunday, March 29th through Monday, March 30th. We apologize for the inconvenience.
By Topic

The AADL/S* Approach to Firmware Design Verification

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

The purchase and pricing options are temporarily unavailable. Please try again later.
4 Author(s)
Damm, W. ; Technical University at Aachen ; Doehmen, G. ; Merkel, K. ; Sichelschmidt, M.

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?

Published in:

Software, IEEE  (Volume:3 ,  Issue: 4 )