Title :
Axiomatic Specifications in Firmware Development Systems
Author :
Dasgupta, Subrata ; Wilsey, Philip A. ; Heinanen, Juha
Author_Institution :
University of Southwestern Louisiana
fDate :
7/1/1986 12:00:00 AM
Abstract :
Some key ideas originating in the domain of software technology have been used in the design of the architecture description language S*M.
Keywords :
Computer architecture; Control systems; Design engineering; Design optimization; Microarchitecture; Microprogramming; Optimizing compilers; Software design;
Journal_Title :
Software, IEEE
DOI :
10.1109/MS.1986.234068
