Title :
The AADL/S* Approach to Firmware Design Verification
Author :
Damm, Werner ; Doehmen, Gert ; Merkel, Klaus ; Sichelschmidt, Mathilde
Author_Institution :
Technical University at Aachen
fDate :
7/1/1986 12:00:00 AM
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;
Journal_Title :
Software, IEEE
DOI :
10.1109/MS.1986.233752
