Designing a microcode synthesis system
C.P. Tsang, Shannara Smith · 2002
The authors report the design of a microcode synthesizer which can automatically synthesize microcodes from a given datapath and a set of finite state graphs where the edges specify the pre- and post-conditions of the state of concurrent events in the datapath. The structure of such a system can be divided into data-flow generation and control-flow generation. Details of the datapath specification language, state graph specification and control-flow generation using a product graph construction are reported. This leads to the development of the state-graph architectural model for the handling of concurrent processes. It use is illustrated by small examples of microcode generation. An experimental system based on these ideas has been implemented using Common LISP and results are presented.>