Title :
Designing a microcode synthesis system
Author :
Tsang, C.P. ; Smith, S.E.
Author_Institution :
Dept. of Comput. Sci., Western Australia Univ., Nedlands, WA, Australia
Abstract :
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
Keywords :
microprogramming; software tools; Common LISP; control-flow generation; data-flow generation; datapath specification language; design; microcode synthesis system; microcode synthesizer; product graph construction; state graph specification; state-graph architectural model; Automatic control; Automatic generation control; Computer aided instruction; Computer languages; Computer science; Control system synthesis; Flow graphs; Microprogramming; Reduced instruction set computing; Synthesizers;
Conference_Titel :
Computer and Communication Systems, 1990. IEEE TENCON'90., 1990 IEEE Region 10 Conference on
Print_ISBN :
0-87942-556-3
DOI :
10.1109/TENCON.1990.152649
