DocumentCode
1210884
Title
Formal Methods of Microcode Verification and Synthesis
Author
Mueller, Robert A. ; Duda, Michael R.
Author_Institution
Colorado State University
Volume
3
Issue
4
fYear
1986
fDate
7/1/1986 12:00:00 AM
Firstpage
38
Lastpage
48
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.
Keywords
Calculus; Computer languages; Computer science; Concurrent computing; Microprogramming; Programming profession; Terminology; Timing;
fLanguage
English
Journal_Title
Software, IEEE
Publisher
ieee
ISSN
0740-7459
Type
jour
DOI
10.1109/MS.1986.233753
Filename
1695579
Link To Document