A formal approach to the problems of microcode compaction caused by transient data resources of the microarchitectures

Abstract

A method of sequential microcode compaction for architectures containing transient data resources is discussed.A theoretical apparatus, allowing the identification of microoperation groups requiring synchronization according to their transient data resources as well as their correcposnding transient data resources is suggested.An algorithm, separating the microoperation groups resulting from the transient data resources in the microarchitectures is also discussed.