This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Formal Methods of Microcode Verification and Synthesis
July/August 1986 (vol. 3 no. 4)
pp. 38-48
R.A. Mueller, Colorado State University
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.
Citation:
R.A. Mueller, M.R. Duda, "Formal Methods of Microcode Verification and Synthesis," IEEE Software, vol. 3, no. 4, pp. 38-48, July-Aug. 1986, doi:10.1109/MS.1986.233753
Usage of this product signifies your acceptance of the Terms of Use.