The Community for Technology Leaders
Green Image
Issue No. 04 - July/August (1986 vol. 3)
ISSN: 0740-7459
pp: 38-48
R.A. Mueller , Colorado State University
ABSTRACT
The influence of software design principles has helped transform a catch-as-catch-can bag of tricks into the emerging scientific discipline of firmware engineering.
INDEX TERMS
null
CITATION
M.R. Duda, R.A. Mueller, "Formal Methods of Microcode Verification and Synthesis", IEEE Software, vol. 3, no. , pp. 38-48, July/August 1986, doi:10.1109/MS.1986.233753
103 ms
(Ver 3.1 (10032016))