The design of a system for the synthesis of correct microprograms
David A. Patterson · 1975
An approach to the synthesis of correct microprograms is to use the methodologies that have been beneficial in the generation of correct programs, i.e., structured programming, high-level languages, and formal program verification. This paper presents the design of the system that combines these techniques to simplify the synthesis of correct microprograms. It also gives some statistics which support our emphasis on synthesis as well as correctness.