Title :
Formal Methods of Microcode Verification and Synthesis
Author :
Mueller, Robert A. ; Duda, Michael R.
Author_Institution :
Colorado State University
fDate :
7/1/1986 12:00:00 AM
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;
Journal_Title :
Software, IEEE
DOI :
10.1109/MS.1986.233753
