DocumentCode
1210874
Title
The AADL/S* Approach to Firmware Design Verification
Author
Damm, Werner ; Doehmen, Gert ; Merkel, Klaus ; Sichelschmidt, Mathilde
Author_Institution
Technical University at Aachen
Volume
3
Issue
4
fYear
1986
fDate
7/1/1986 12:00:00 AM
Firstpage
27
Lastpage
37
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?
Keywords
Automatic generation control; Automatic testing; Character generation; Computer science; Conferences; Delay; Microarchitecture; Microprogramming; Notice of Violation; Storage automation;
fLanguage
English
Journal_Title
Software, IEEE
Publisher
ieee
ISSN
0740-7459
Type
jour
DOI
10.1109/MS.1986.233752
Filename
1695578
Link To Document